Job modulectomy

Build 2025-02-05 09:19:07Z

PlatformDurationExecution Result
debian-124min22s.exited 0

Build info

Build artifacts

bin/modulectomy.deb (1.49MB)
SHA256:71414621da107142fbf68608e87a4d03550117bcf2822d20d050af4a3dbc8479
system-packages (4.24kB)
SHA256:5a160822cfab60ae99172575811b4fff4e5a19a12e7b292e162e219780b4efd7
build-environment (318B)
SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9
opam-switch (42.5kB)
SHA256:c06b5f5d20a2b88f8114477f4c5e11ae851ea6ffed888ccb4b9ae749352f1bc2

Reproduced by 27 builds

Comparisons with other builds on the same platform


?