Job builder
Build 2023-05-25 20:24:31Z
Built on platform ubuntu-20.04
Build took 6min16s.
Execution result: exited 0.
Build info
Build artifacts
bin/builder.deb
SHA256:1487979d4990767cdf497c089ebd40857d0e00c37d7da35e1407c418a45933ac
(7.79MB)build-environment
SHA256:0c2b94a6e94d50315111cd89e38e2513882e714c4bb90ab65169ce6195492a2d
(349B)opam-switch
SHA256:f372488c0689c54104652359d1a152594152880f17b1c2a93685a0ae53ea5539
(115kB)system-packages
SHA256:f3936806badebd915692559ef3e13317003fe3b187e4e3e899edfe8abe68025d
(5.54kB)
Reproduced by 14 builds
- on ubuntu-20.04, same input, 2023-05-29 19:54:40Z
- on ubuntu-20.04, same input, 2023-05-28 20:16:12Z
- on ubuntu-20.04, same input, 2023-05-27 20:08:47Z
- on ubuntu-20.04, same input, 2023-05-26 19:46:58Z
- on ubuntu-20.04, same input, 2023-05-24 20:01:00Z
- on ubuntu-20.04, different input, 2023-05-30 20:01:16Z
- on ubuntu-20.04, different input, 2023-05-23 19:54:27Z
- on ubuntu-20.04, different input, 2023-05-21 20:09:02Z
- on ubuntu-20.04, different input, 2023-04-30 19:58:34Z
- on ubuntu-20.04, different input, 2023-04-26 19:44:22Z
- on ubuntu-20.04, different input, 2023-04-25 20:22:30Z
- on ubuntu-20.04, different input, 2023-04-24 19:58:15Z
- on ubuntu-20.04, different input, 2023-04-18 19:57:48Z
- on ubuntu-20.04, different input, 2023-04-17 19:51:40Z
Comparisons with other builds on the same platform
- Latest build 2023-12-11 13:23:32Z
- Later build with different output 2023-05-31 20:21:58Z
- Earlier build with different output 2023-04-11 19:51:14Z
?