Job modulectomy

Build 2023-11-20 14:26:18Z

Built on platform debian-10

Build took 4min44s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/modulectomy.deb

SHA256:1e36518471b246d0dc676548fe24eefc866ed7ec7515dcb0197be3bf47100370 (1.61MB)

build-environment

SHA256:439f022053e0715c12a9c54ceb794a90b93c51c748d319cb83a5a990f1b36a47 (350B)

opam-switch

SHA256:231b6dc8e8ad295fa056c951ebcedd9b0ccaeae1f6863a8dd06699397d73d7e2 (45.2kB)

system-packages

SHA256:c913f73e709e2ad1b826a363a64e7b631aba391e4ca88330cb4629ef7f3e5626 (4.31kB)

Reproduced by 7 builds

• on debian-10, same input, 2023-11-21 12:34:52Z
• on debian-10, different input, 2023-11-10 21:22:23Z
• on debian-10, different input, 2023-10-22 21:20:58Z
• on debian-10, different input, 2023-10-15 21:37:19Z
• on debian-10, different input, 2023-10-11 21:21:55Z
• on debian-10, different input, 2023-10-10 21:20:47Z
• on debian-10, different input, 2023-10-08 21:21:57Z

Comparisons with other builds on the same platform

• Latest build 2023-12-03 12:34:51Z
• Later build with different output 2023-11-22 12:46:07Z
• Earlier build with different output 2023-10-03 21:37:11Z

?