Job modulectomy
Build 2022-08-29 08:34:38Z
Built on platform ubuntu-18.04
Build took 12min54s.
Execution result: exited 0.
Build info
Build artifacts
bin/modulectomy.deb
SHA256:69cfa7ccbb04b9c73840c511abf2a9c10de93f22b05afc118958fa9bb11ed877
(1.38MB)build-environment
SHA256:42af9373c7ba94328bc39e64f99e76934675d5b7e517b0e3e9a7ceaaeafdf543
(353B)opam-switch
SHA256:763d348478b3990934b9a80d786c6275711b161c5e460cb18f03ccad0b3efd6a
(44kB)system-packages
SHA256:d6f694ca0509b8d79bfca290f090f4061eb033405f319c10f28962ef946ca6a5
(5.4kB)
Reproduced by 8 builds
- on ubuntu-18.04, same input, 2022-08-28 08:34:37Z
- on ubuntu-18.04, same input, 2022-08-27 08:34:37Z
- on ubuntu-18.04, same input, 2022-08-26 08:47:04Z
- on ubuntu-18.04, same input, 2022-08-25 08:47:27Z
- 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-09-15 13:55:31Z
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
?