Job modulectomy

Build 2023-09-13 21:34:46Z

Built on platform debian-11

Build took 6min26s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/modulectomy.deb

SHA256:41bc16b4f195023b3130a1bacd3e8b283a11a9e7b3ecc46be94358071c598d49 (1.57MB)

system-packages

SHA256:5ebd4125275220ccc5696cdcaab4a1d8bee2e7f17031c77ffe8bfeadc6c69f69 (4.28kB)

build-environment

SHA256:1a09957d4d69330783d69bb72b27bd84daad358a244fad8e7e8760fb4e6f204a (350B)

opam-switch

SHA256:4270cc2e054475c5f4fb2ea80031b96ab8f98d3dbeb627a8274e157e551283c9 (45kB)

Reproduced by 5 builds

• on debian-11, same input, 2023-09-12 21:35:00Z
• on debian-11, same input, 2023-09-11 21:29:09Z
• on debian-11, same input, 2023-09-10 21:41:29Z
• on debian-11, same input, 2023-09-09 21:28:35Z
• on debian-11, different input, 2023-09-08 21:35:46Z

Comparisons with other builds on the same platform

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

?