Job builder
Build 2023-05-21 20:09:02Z
Built on platform ubuntu-20.04
Build took 6min22s.
Execution result: exited 0.
Build info
Build artifacts
bin/builder.deb
SHA256:1487979d4990767cdf497c089ebd40857d0e00c37d7da35e1407c418a45933ac
(7.79MB)opam-switch
SHA256:f372488c0689c54104652359d1a152594152880f17b1c2a93685a0ae53ea5539
(115kB)system-packages
SHA256:d70e28138c4c1b9aa5227368b6475afa90def499bb39785c93e58c2d7cdde857
(5.54kB)build-environment
SHA256:0c2b94a6e94d50315111cd89e38e2513882e714c4bb90ab65169ce6195492a2d
(349B)
Reproduced by 29 builds
- on ubuntu-20.04, same input, 2023-05-20 19:46:28Z
- on ubuntu-20.04, same input, 2023-05-19 20:22:21Z
- on ubuntu-20.04, same input, 2023-05-18 20:00:23Z
- on ubuntu-20.04, same input, 2023-05-17 19:53:54Z
- on ubuntu-20.04, same input, 2023-05-16 20:16:08Z
- on ubuntu-20.04, same input, 2023-05-15 20:08:19Z
- on ubuntu-20.04, same input, 2023-05-14 19:45:56Z
- on ubuntu-20.04, same input, 2023-05-13 20:23:07Z
- on ubuntu-20.04, same input, 2023-05-12 19:59:51Z
- on ubuntu-20.04, same input, 2023-05-11 19:54:07Z
- on ubuntu-20.04, same input, 2023-05-10 20:14:53Z
- on ubuntu-20.04, same input, 2023-05-09 20:07:59Z
- on ubuntu-20.04, same input, 2023-05-08 19:45:24Z
- on ubuntu-20.04, same input, 2023-05-07 20:22:42Z
- on ubuntu-20.04, same input, 2023-05-06 19:59:13Z
- on ubuntu-20.04, same input, 2023-05-05 19:53:19Z
- on ubuntu-20.04, same input, 2023-05-04 20:14:28Z
- on ubuntu-20.04, same input, 2023-05-03 20:07:12Z
- on ubuntu-20.04, same input, 2023-05-02 19:44:52Z
- on ubuntu-20.04, same input, 2023-05-01 20:21:16Z
- on ubuntu-20.04, different input, 2023-05-30 20:01:16Z
- on ubuntu-20.04, different input, 2023-05-29 19:54:40Z
- on ubuntu-20.04, different input, 2023-05-23 19:54:27Z
- 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 2024-04-22 13:29:12Z
- Later build with different output 2023-05-31 20:21:58Z
- Earlier build with different output 2023-04-11 19:51:14Z
?