Job builder
Build 2023-01-12 19:36:23Z
Built on platform ubuntu-20.04
Build took 6min19s.
Execution result: exited 0.
Build info
Build artifacts
bin/builder.deb
SHA256:424017054e0aa2be9b948da2a1196436efafada88a4b8ef9dcff50eb8e8616e4
(7.94MB)opam-switch
SHA256:e49af48f20d6c4b11acf251aefb45ca15704683d6cc0dedcbc7ee65a68e4edee
(157kB)system-packages
SHA256:2ee2a127aa6d70a9941ddea71b937d383117daf87f5a1654579ec26bc7cfd3ce
(5.58kB)build-environment
SHA256:0c2b94a6e94d50315111cd89e38e2513882e714c4bb90ab65169ce6195492a2d
(349B)
Reproduced by 13 builds
- on ubuntu-20.04, same input, 2023-01-11 20:12:46Z
- on ubuntu-20.04, same input, 2023-01-10 19:49:59Z
- on ubuntu-20.04, same input, 2023-01-09 19:44:11Z
- on ubuntu-20.04, same input, 2023-01-08 20:04:35Z
- on ubuntu-20.04, same input, 2023-01-07 19:58:03Z
- on ubuntu-20.04, different input, 2023-01-31 19:59:22Z
- on ubuntu-20.04, different input, 2023-01-24 19:37:04Z
- on ubuntu-20.04, different input, 2023-01-18 19:36:44Z
- on ubuntu-20.04, different input, 2023-01-16 19:50:22Z
- on ubuntu-20.04, different input, 2023-01-05 20:12:04Z
- on ubuntu-20.04, different input, 2023-01-04 19:49:39Z
- on ubuntu-20.04, different input, 2022-12-28 19:43:45Z
- on ubuntu-20.04, different input, 2022-12-27 13:48:57Z
Comparisons with other builds on the same platform
- Latest build 2024-05-19 13:36:45Z
- Later build with different output 2023-02-01 20:06:02Z
- Earlier build with different output 2022-12-22 19:43:17Z
?