Job modulectomy

Build 2025-07-15 09:13:06Z

Platform	Duration	Execution Result
debian-12	3min38s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.49MB): SHA256:efb3a1409381bcbf63b5862420d514e0fe7f6451f8d500838f784f455dc9306f
system-packages (4.4kB): SHA256:f0b32394b7ee8457b903b454ee8536abedfff59d3bbef60913cd2787060aa81c
build-environment (318B): SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9
opam-switch (42.1kB): SHA256:971d7ba9fcb623163f481159907c7f040c552b395fe201875477cb31587f89ad

Reproduced by 9 builds

on debian-12, same input, 2025-07-19 09:13:51Z
on debian-12, same input, 2025-07-18 09:14:45Z
on debian-12, same input, 2025-07-17 09:16:05Z
on debian-12, same input, 2025-07-16 09:14:06Z
on debian-12, same input, 2025-07-14 09:16:04Z
on debian-12, same input, 2025-07-13 09:13:45Z
on debian-12, same input, 2025-07-12 09:14:43Z
on debian-12, same input, 2025-07-11 09:16:04Z
on debian-12, different input, 2025-07-10 09:11:17Z

Comparisons with other builds on the same platform

Latest build 2025-07-19 09:13:51Z
Earlier build with different output 2025-07-04 09:05:57Z

?