Job modulectomy

Build 2022-09-25 14:18:52Z

Built on platform ubuntu-18.04

Build took 16min15s.

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:e023e8014b4bc747b485d08ac088dcce4d92c8a13a1e373439701edbe380374b (5.4kB)

Reproduced by 17 builds

on ubuntu-18.04, same input, 2022-10-03 13:56:22Z
on ubuntu-18.04, same input, 2022-10-02 15:26:55Z
on ubuntu-18.04, same input, 2022-10-01 14:18:54Z
on ubuntu-18.04, same input, 2022-09-30 13:35:08Z
on ubuntu-18.04, same input, 2022-09-29 15:01:51Z
on ubuntu-18.04, same input, 2022-09-28 14:43:10Z
on ubuntu-18.04, same input, 2022-09-27 13:55:59Z
on ubuntu-18.04, same input, 2022-09-26 15:26:41Z
on ubuntu-18.04, same input, 2022-09-24 13:33:13Z
on ubuntu-18.04, same input, 2022-09-23 14:58:48Z
on ubuntu-18.04, same input, 2022-09-22 14:40:59Z
on ubuntu-18.04, same input, 2022-09-21 13:56:02Z
on ubuntu-18.04, same input, 2022-09-20 15:22:10Z
on ubuntu-18.04, different input, 2022-10-07 14:34:35Z
on ubuntu-18.04, different input, 2022-09-19 14:16:13Z
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

?