Job modulectomy

Build 2025-06-29 09:15:32Z

Platform	Duration	Execution Result
debian-12	4min12s.	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 9 builds

on debian-12, same input, 2025-07-02 09:15:36Z
on debian-12, same input, 2025-07-01 09:05:53Z
on debian-12, same input, 2025-06-30 09:14:18Z
on debian-12, same input, 2025-06-28 09:05:49Z
on debian-12, same input, 2025-06-27 09:14:08Z
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

Latest build 2025-07-02 09:15:36Z
Earlier build with different output 2025-05-28 09:13:51Z

?