Job modulectomy

Build 2025-06-27 09:14:08Z

Platform	Duration	Execution Result
debian-12	4min14s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.5MB): SHA256:02cabc00c850d293da2770e59dff121f6e7e543c98d00ccbc8a0c32341ad27aa
system-packages (4.4kB): SHA256:f0b32394b7ee8457b903b454ee8536abedfff59d3bbef60913cd2787060aa81c
build-environment (318B): SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9
opam-switch (42kB): SHA256:ca00d8c1f96dc89a37030e16e010e76254b63808420270df052f5b6b7abd33b1

Reproduced by 4 builds

on debian-12, different input, 2025-06-26 09:15:25Z
on debian-12, different input, 2025-06-25 09:05:44Z
on debian-12, different input, 2025-06-13 09:10:26Z
on debian-12, different input, 2025-06-12 09:13:35Z

Comparisons with other builds on the same platform

Earlier build with different output 2025-05-28 09:13:51Z

?