Job modulectomy

Build 2026-06-16 10:05:48Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.53MB): SHA256:ef20d97be17d09301da36d6f7bc1133a93745201efdc22b0ef581bc5159a6ff6
opam-switch (42.8kB): SHA256:e816849abfbfaf24bb4b65887d18badfd04fac56c91ef41fab7820fa3a71061e
build-environment (318B): SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9
system-packages (4.4kB): SHA256:e4b82428cdb1e802aea42a0301fb8ce08b31f785ebec6e081aa378cb36e20639

Reproduced by 0 builds

Comparisons with other builds on the same platform

Earlier build with different output 2026-06-15 10:22:48Z

?