Job modulectomy

Build 2025-06-02 09:15:16Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.5MB): SHA256:02cabc00c850d293da2770e59dff121f6e7e543c98d00ccbc8a0c32341ad27aa
system-packages (4.38kB): SHA256:65b94df6b2f0b1af4be0dc495c2e5760ae597a1290a964d30f146bd9c11a9608
build-environment (318B): SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9
opam-switch (42kB): SHA256:27d9330cbd9724c7ad927fa14b31e197f6be5079c1a0e24a0bedd614ffe10b4c

Reproduced by 18 builds

on debian-12, same input, 2025-06-12 09:13:35Z
on debian-12, same input, 2025-06-11 09:15:29Z
on debian-12, same input, 2025-06-10 09:11:21Z
on debian-12, same input, 2025-06-09 09:14:07Z
on debian-12, same input, 2025-06-08 09:15:21Z
on debian-12, same input, 2025-06-07 09:10:42Z
on debian-12, same input, 2025-06-06 09:14:00Z
on debian-12, same input, 2025-06-05 09:15:20Z
on debian-12, same input, 2025-06-04 09:10:17Z
on debian-12, same input, 2025-06-03 09:14:33Z
on debian-12, same input, 2025-06-01 09:10:38Z
on debian-12, same input, 2025-05-31 09:13:53Z
on debian-12, same input, 2025-05-30 09:15:09Z
on debian-12, same input, 2025-05-29 09:10:35Z
on debian-12, different input, 2025-07-04 09:05:57Z
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

Comparisons with other builds on the same platform

Latest build 2026-05-24 10:05:42Z
Later build with different output 2025-07-05 09:15:55Z
Earlier build with different output 2025-05-28 09:13:51Z

?