Job modulectomy

Build 2025-12-12 09:38:41Z

Platform	Duration	Execution Result
debian-13	4min.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.53MB): SHA256:ed29ea4365e7d6395da283301d987db1a811bef6931f0b5d4fdd951fa1eb0cef
opam-switch (42.6kB): SHA256:c07428c1d2e3250cbcd8e010110c609bfbec7df2d2834f12deeae5a4462d901f
build-environment (318B): SHA256:27bdcb43014ed7a07004df8036d6c182927048d0f9e072e144a7e882749f5559
system-packages (4.16kB): SHA256:32b802b600263bab853d4390cf9b484e4da751ee6a71491ccbf688817159b03c

Reproduced by 5 builds

on debian-13, same input, 2025-12-14 09:32:45Z
on debian-13, same input, 2025-12-13 09:20:17Z
on debian-13, same input, 2025-12-11 09:29:46Z
on debian-13, same input, 2025-12-10 09:19:10Z
on debian-13, different input, 2025-12-08 09:32:53Z

Comparisons with other builds on the same platform

Latest build 2025-12-14 09:32:45Z
Earlier build with different output 2025-11-26 09:32:01Z

?