Job modulectomy

Build 2023-09-13 21:35:11Z

Built on platform ubuntu-18.04

Build took 6min29s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/modulectomy.deb

SHA256:9afffc34bc4c7e54fd28426f08bd4c79141792c87f236b046bb18c2c4b7c0e14 (1.52MB)

system-packages

SHA256:8aab7b1ee26988419ea4e35860544618de676f3453535de102213f2b6a4cf55e (5.49kB)

build-environment

SHA256:42af9373c7ba94328bc39e64f99e76934675d5b7e517b0e3e9a7ceaaeafdf543 (353B)

opam-switch

SHA256:4270cc2e054475c5f4fb2ea80031b96ab8f98d3dbeb627a8274e157e551283c9 (45kB)

Reproduced by 5 builds

• on ubuntu-18.04, same input, 2023-09-12 21:35:29Z
• on ubuntu-18.04, same input, 2023-09-11 21:29:36Z
• on ubuntu-18.04, same input, 2023-09-10 21:41:45Z
• on ubuntu-18.04, same input, 2023-09-09 21:29:22Z
• on ubuntu-18.04, different input, 2023-09-08 21:36:09Z

Comparisons with other builds on the same platform

• Latest build 2023-11-20 13:00:57Z
• Later build with different output 2023-09-14 21:36:27Z
• Earlier build with different output 2023-05-15 21:33:57Z

?