Job modulectomy

Build 2023-02-20 21:35:01Z

Built on platform debian-11

Build took 6min4s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/modulectomy.deb

SHA256:28b4d3880f6ff8d4ed4de26eded43c32e001afed22ca6d89516b0e12cf12feff (1.57MB)

system-packages

SHA256:56bbd796c6265ad8592f0f880e14c411b8920bfeb315d2be23d8515c0e7db57f (4.26kB)

build-environment

SHA256:1a09957d4d69330783d69bb72b27bd84daad358a244fad8e7e8760fb4e6f204a (350B)

opam-switch

SHA256:4565fd4b5edb05f1c8e43d193bcead2e3595cf2972927af8ae7ae06417e7ddfb (46.1kB)

Reproduced by 5 builds

• on debian-11, different input, 2023-04-11 21:32:58Z
• on debian-11, different input, 2023-02-26 21:32:43Z
• on debian-11, different input, 2023-02-22 21:17:25Z
• on debian-11, different input, 2023-02-19 21:18:44Z
• on debian-11, different input, 2023-02-14 14:45:01Z

Comparisons with other builds on the same platform

• Latest build 2024-05-15 11:54:00Z
• Later build with different output 2023-04-12 21:26:23Z
• Earlier build with different output 2023-02-09 15:33:29Z

?