Job builder
Build 2023-07-26 17:58:44Z
Built on platform ubuntu-20.04
Build took 6min18s.
Execution result: exited 0.
Build info
Build artifacts
bin/builder.deb
SHA256:a22db0f8bb4581a8bb5817e1b75b843676d14bc099192af03f925c6d34963e92
(7.8MB)opam-switch
SHA256:73599b731e13ff62efca311dc02e347dfc1a04a46dae85354ab8ad44621833da
(115kB)system-packages
SHA256:f90235daaaf78c7366fa3de1d036b607224eb5f7cc0a52e852b1ed766915d5d0
(5.54kB)build-environment
SHA256:0c2b94a6e94d50315111cd89e38e2513882e714c4bb90ab65169ce6195492a2d
(349B)
Reproduced by 4 builds
- on ubuntu-20.04, same input, 2023-07-28 17:29:09Z
- on ubuntu-20.04, same input, 2023-07-27 18:00:30Z
- on ubuntu-20.04, different input, 2023-07-25 17:44:02Z
- on ubuntu-20.04, different input, 2023-07-23 17:46:26Z
Comparisons with other builds on the same platform
- Latest build 2024-05-21 13:19:59Z
- Later build with different output 2023-08-25 17:54:19Z
- Earlier build with different output 2023-07-20 17:55:23Z
?