Job modulectomy

Build 2023-09-06 21:35:05Z

Built on platform debian-11

Build took 6min29s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/modulectomy.deb

SHA256:41bc16b4f195023b3130a1bacd3e8b283a11a9e7b3ecc46be94358071c598d49 (1.57MB)

system-packages

SHA256:e8aef6eec8f42f410bef58b3db26df047ba6499187fd546d55bd47ee797c7b50 (4.28kB)

build-environment

SHA256:1a09957d4d69330783d69bb72b27bd84daad358a244fad8e7e8760fb4e6f204a (350B)

opam-switch

SHA256:bf8005bdbe208a216827212c318c332fbbdcc08393c88022c29ee92149d0fb17 (45kB)

Reproduced by 3 builds

• on debian-11, same input, 2023-09-08 21:35:46Z
• on debian-11, same input, 2023-09-07 21:34:43Z
• on debian-11, different input, 2023-09-13 21:34:46Z

Comparisons with other builds on the same platform

• Latest build 2024-05-19 12:01:32Z
• Later build with different output 2023-09-14 21:36:04Z
• Earlier build with different output 2023-05-31 21:33:56Z

?