Job modulectomy

Build 2026-11-12 10:44:43Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.56MB): SHA256:b54ce8ddedb4ac3ef16d37c4807f8a3cafaa88ab431b9282c98f7a83b15c7201
opam-switch (42.2kB): SHA256:ec1f14979006b9573feab5a23cfee3e607cb034658c4a135afa985985d546c36
build-environment (318B): SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9
system-packages (4.53kB): SHA256:ed3e5d0a15e1e41b1cac28907150a7e20f4924bfe20f4e6fb91b32b5964620dd

Reproduced by 1 builds

on debian-12, different input, 2026-11-10 10:50:03Z

Comparisons with other builds on the same platform

Earlier build with different output 2026-11-07 10:42:41Z

?