Job modulectomy
Build 2022-09-15 13:55:31Z
Built on platform ubuntu-18.04
Build took 15min44s.
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:716c53c3f5280edd84f323da943b08634b89480e91e8cee62edbe818b9301848
(5.4kB)
Reproduced by 12 builds
- on ubuntu-18.04, same input, 2022-09-14 15:22:06Z
- on ubuntu-18.04, same input, 2022-09-13 14:14:01Z
- on ubuntu-18.04, same input, 2022-09-12 13:32:36Z
- on ubuntu-18.04, same input, 2022-09-11 14:56:30Z
- on ubuntu-18.04, same input, 2022-09-10 14:37:38Z
- on ubuntu-18.04, same input, 2022-09-09 13:55:55Z
- on ubuntu-18.04, same input, 2022-09-08 14:58:28Z
- on ubuntu-18.04, same input, 2022-09-07 15:07:14Z
- 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-19 14:16:13Z
- 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
?