Job modulectomy

Build 2022-09-19 14:16:13Z

Built on platform ubuntu-18.04

Build took 15min33s.

Execution result: exited 0.

Build info

Build artifacts

bin/modulectomy.deb: SHA256:69cfa7ccbb04b9c73840c511abf2a9c10de93f22b05afc118958fa9bb11ed877 (1.38MB)
opam-switch: SHA256:763d348478b3990934b9a80d786c6275711b161c5e460cb18f03ccad0b3efd6a (44kB)
build-environment: SHA256:42af9373c7ba94328bc39e64f99e76934675d5b7e517b0e3e9a7ceaaeafdf543 (353B)
system-packages: SHA256:69f10eb31c192ac40aa0b0026896f6fd666b60d5b9f6a6e8f958ca180d2824e7 (5.4kB)

Reproduced by 7 builds

on ubuntu-18.04, same input, 2022-09-18 13:33:09Z
on ubuntu-18.04, same input, 2022-09-17 14:57:26Z
on ubuntu-18.04, same input, 2022-09-16 14:40:21Z
on ubuntu-18.04, different input, 2022-10-07 14:34:35Z
on ubuntu-18.04, different input, 2022-10-03 13:56:22Z
on ubuntu-18.04, different input, 2022-09-15 13:55:31Z
on ubuntu-18.04, different input, 2022-08-29 08:34:38Z

Comparisons with other builds on the same platform

Latest build 2023-11-20 13:00:57Z
Later build with different output 2022-10-25 12:59:13Z
Earlier build with different output 2022-08-24 08:54:34Z

?