Job modulectomy

Build 2026-11-08 10:40:00Z

Platform	Duration	Execution Result
debian-12	3min51s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

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

Reproduced by 0 builds

Comparisons with other builds on the same platform

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

?