Job modulectomy

Build 2025-05-19 09:13:41Z

Built on platform debian-12

Build took 4min19s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/modulectomy.deb

SHA256:42a31511b49ed4cdbe7509d2aff8d744df34eb5641b4bc7961418cfb72a84618 (1.49MB)

system-packages

SHA256:27618e5782c192484b422853ea660cdf2ed710c9b3c633e86c6f1b548d1904a0 (4.38kB)

build-environment

SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9 (318B)

opam-switch

SHA256:5a7b3958a7c0054ccffddc3ab5b2c3e77fd7a193c11f07f687521977d28c6a82 (42kB)

Reproduced by 6 builds

• on debian-12, same input, 2025-05-22 09:13:42Z
• on debian-12, same input, 2025-05-21 09:15:06Z
• on debian-12, same input, 2025-05-20 09:10:24Z
• on debian-12, same input, 2025-05-18 19:41:49Z
• on debian-12, different input, 2025-05-28 09:13:51Z
• on debian-12, different input, 2025-05-23 09:10:26Z

Comparisons with other builds on the same platform

• Latest build 2025-06-01 09:10:38Z
• Later build with different output 2025-05-29 09:10:35Z
• Earlier build with different output 2025-03-03 08:59:35Z

?