Job builder
Build 2023-02-12 20:00:31Z
Built on platform ubuntu-20.04
Build took 6min25s.
Execution result: exited 0.
Build info
Build artifacts
bin/builder.deb
SHA256:914b8b87571f197885fcba478b8e0bd7f7c6d65903bc3f6cf7ceead102efe759
(7.94MB)opam-switch
SHA256:11c32eca89d6ff8b7e7a831dd5be38309e09e71286eaa4bffabb0fbec3a60418
(157kB)system-packages
SHA256:929e5e0360ee12d50e23aa30b8b9a8f743e0e1194485d42a1923c0e83e18b08d
(5.58kB)build-environment
SHA256:0c2b94a6e94d50315111cd89e38e2513882e714c4bb90ab65169ce6195492a2d
(349B)
Reproduced by 5 builds
- on ubuntu-20.04, same input, 2023-02-11 19:38:05Z
- on ubuntu-20.04, same input, 2023-02-10 20:16:46Z
- on ubuntu-20.04, same input, 2023-02-09 19:52:01Z
- on ubuntu-20.04, different input, 2023-02-08 19:45:59Z
- on ubuntu-20.04, different input, 2023-02-07 20:06:41Z
Comparisons with other builds on the same platform
- Latest build 2024-03-28 13:04:38Z
- Later build with different output 2023-02-13 20:06:39Z
- Earlier build with different output 2023-02-06 20:06:58Z
?