Job modulectomy

Build 2025-01-10 19:19:26Z

PlatformDurationExecution Result
debian-124min16s.exited 0

Build info

Build artifacts

bin/modulectomy.deb (1.49MB)
SHA256:71414621da107142fbf68608e87a4d03550117bcf2822d20d050af4a3dbc8479
system-packages (4.24kB)
SHA256:fd6d2d12a67936921c9d647c12d40dd89083d1ee58c37049d38a48666aba8395
build-environment (318B)
SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9
opam-switch (44.3kB)
SHA256:f268f43b7e3a754acff02adf1e6e57ff0d139169911244feda82bc6ccb13dc05

Reproduced by 41 builds

Comparisons with other builds on the same platform


?