Job modulectomy

Build 2024-09-19 14:27:49Z

Built on platform debian-12

Build took 4min6s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/modulectomy.deb

SHA256:71414621da107142fbf68608e87a4d03550117bcf2822d20d050af4a3dbc8479 (1.49MB)

system-packages

SHA256:d8f9f96e7cc56ff8d7707e1dbe5dfdc777ac4b28ecaae1ebaf31af016fe7f0d5 (4.23kB)

build-environment

SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9 (318B)

opam-switch

SHA256:03bb808eb86bd74d63397727f1fde0d4b571eb219f10094fea1ec99d0848b2f4 (43.5kB)

Reproduced by 3 builds

• on debian-12, different input, 2024-09-18 14:09:22Z
• on debian-12, different input, 2024-09-17 14:04:24Z
• on debian-12, different input, 2024-09-13 14:28:09Z

Comparisons with other builds on the same platform

• Earlier build with different output 2024-09-12 14:09:22Z

?