Job modulectomy

Build 2023-09-17 21:29:26Z

Built on platform debian-11

Build took 6min28s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/modulectomy.deb

SHA256:bdd5db7a396ec8526c3e5983163e931037de7c6c764a157c94df36fd85db61d5 (1.6MB)

system-packages

SHA256:5ebd4125275220ccc5696cdcaab4a1d8bee2e7f17031c77ffe8bfeadc6c69f69 (4.28kB)

build-environment

SHA256:1a09957d4d69330783d69bb72b27bd84daad358a244fad8e7e8760fb4e6f204a (350B)

opam-switch

SHA256:0ec7eab256a8bb03700ff2d580fa5b9af94d7ca4369b7e0cc9914d8e10119252 (45.1kB)

Reproduced by 4 builds

• on debian-11, same input, 2023-09-16 21:41:38Z
• on debian-11, different input, 2023-10-03 21:37:21Z
• on debian-11, different input, 2023-10-02 21:21:50Z
• on debian-11, different input, 2023-09-15 21:28:34Z

Comparisons with other builds on the same platform

• Latest build 2024-05-19 12:01:32Z
• Later build with different output 2023-10-04 21:20:42Z
• Earlier build with different output 2023-09-13 21:34:46Z

?