Job modulectomy

Build 2024-09-16 14:22:13Z

Built on platform debian-12

Build took 3min53s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/modulectomy.deb

SHA256:71414621da107142fbf68608e87a4d03550117bcf2822d20d050af4a3dbc8479 (1.49MB)

system-packages

SHA256:05793f22b526c0b9a68d9870bb1019e7451a31a6d6f4b3f457b4570910fee841 (4.22kB)

build-environment

SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9 (318B)

opam-switch

SHA256:c91b4f1e991450bbe4aceb040bb3de0e0aee05bbed203adfef6c374b7bcb2440 (43.9kB)

Reproduced by 9 builds

• on debian-12, same input, 2024-09-17 14:04:24Z
• on debian-12, same input, 2024-09-15 14:09:19Z
• on debian-12, same input, 2024-09-14 14:04:19Z
• on debian-12, different input, 2024-11-12 14:29:18Z
• on debian-12, different input, 2024-11-08 14:09:30Z
• on debian-12, different input, 2024-11-03 14:28:04Z
• on debian-12, different input, 2024-10-03 14:09:02Z
• on debian-12, different input, 2024-09-18 14:09:22Z
• on debian-12, different input, 2024-09-13 14:28:09Z

Comparisons with other builds on the same platform

• Latest build 2024-11-12 14:29:18Z
• Earlier build with different output 2024-09-12 14:09:22Z

?