Job modulectomy

Build 2026-06-17 10:12:23Z

Platform	Duration	Execution Result
debian-12	4min32s.	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:7037fa2bffcb1f5066164fb251ccc629a38e2072ada636ef3fa514c342c1fd45

Reproduced by 1 builds

on debian-12, different input, 2026-06-16 10:05:48Z

Comparisons with other builds on the same platform

Latest build 2026-07-07 10:09:47Z
Later build with different output 2026-06-18 10:23:08Z
Earlier build with different output 2026-06-15 10:22:48Z

?