Job modulectomy

Build 2024-09-06 14:08:47Z

Built on platform debian-12

Build took 4min27s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/modulectomy.deb

SHA256:dd21e1256aef7455087afefebd3c897330f78ae00d08bfa9603b1f295d6d737f (1.49MB)

system-packages

SHA256:7c8ce49d996b714672c39871da09ab4913cd041ee55eed445f4bcbb826d46844 (4.21kB)

build-environment

SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9 (318B)

opam-switch

SHA256:27cddbe8e3bec8a41fb59407e100edf30bc3ef0e4beae84730cb5c9f451b9c49 (43.9kB)

Reproduced by 7 builds

• on debian-12, same input, 2024-09-12 14:09:22Z
• on debian-12, same input, 2024-09-11 14:04:18Z
• on debian-12, same input, 2024-09-10 14:26:33Z
• on debian-12, same input, 2024-09-09 14:08:53Z
• on debian-12, same input, 2024-09-08 14:04:15Z
• on debian-12, same input, 2024-09-07 14:27:26Z
• on debian-12, different input, 2024-09-05 14:04:13Z

Comparisons with other builds on the same platform

• Latest build 2024-11-12 14:29:18Z
• Later build with different output 2024-09-13 14:28:09Z
• Earlier build with different output 2024-09-03 14:08:42Z

?