Job modulectomy

Build 2025-03-03 08:59:35Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.49MB): SHA256:3f0b7f43e0313d4d79bdb28029b56e941bc859109f6e3f5a096d6ce391984ebd
system-packages (4.24kB): SHA256:ee3319c2f26f4eebe1acc7c1669f8eda3862cfe7c2b841663c71b52f977ad3ba
build-environment (318B): SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9
opam-switch (42.2kB): SHA256:76ab3eb2b163d7a978bec2351df6addaea202625bba70095db8bd11ecace16f6

Reproduced by 5 builds

on debian-12, same input, 2025-03-02 09:34:49Z
on debian-12, same input, 2025-03-01 09:19:39Z
on debian-12, same input, 2025-02-28 08:59:31Z
on debian-12, different input, 2025-02-27 09:34:15Z
on debian-12, different input, 2025-02-08 09:19:06Z

Comparisons with other builds on the same platform

Latest build 2025-06-30 09:14:18Z
Later build with different output 2025-05-18 19:41:49Z
Earlier build with different output 2025-02-05 09:19:07Z

?