Job modulectomy

Build 2024-07-06 14:03:12Z

Built on platform debian-12

Build took 4min33s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/modulectomy.deb

SHA256:e735e7bf192db9bb884c518e00d444cd1993c31dd641c9c78e8846142fcef59d (1.48MB)

system-packages

SHA256:97e64bd227c06c47e476272b4bfb840cba571943c42decd8a1656b33c5cf48b5 (4.22kB)

build-environment

SHA256:1c8ae0114b7d2677a87f33453d965d2c74e9e1deeee25ab907fb291901ad84bf (306B)

opam-switch

SHA256:dfcd3fc19dc697ecc28131f27ce6344b39d22d9fd6614dec91fe3de35ffe2f70 (44kB)

Reproduced by 11 builds

• on debian-12, same input, 2024-07-08 14:26:18Z
• on debian-12, same input, 2024-07-07 14:19:17Z
• on debian-12, different input, 2024-09-03 14:08:42Z
• on debian-12, different input, 2024-08-30 14:04:02Z
• on debian-12, different input, 2024-08-26 14:28:52Z
• on debian-12, different input, 2024-08-16 14:02:22Z
• on debian-12, different input, 2024-08-07 14:40:11Z
• on debian-12, different input, 2024-07-31 14:05:24Z
• on debian-12, different input, 2024-07-16 14:13:10Z
• on debian-12, different input, 2024-07-05 14:32:21Z
• on debian-12, different input, 2024-06-28 14:12:45Z

Comparisons with other builds on the same platform

• Latest build 2024-09-19 14:27:49Z
• Later build with different output 2024-09-04 14:28:27Z

?