Job builder
Build 2022-02-15 15:58:54Z
Built on platform ubuntu-20.04
Build took 5min25s.
Execution result: exited 0.
Build info
Build artifacts
bin/builder.deb
SHA256:37b42f54be2b88cd7484113b68bf90680c2ea7c55f2b9de4a3a97a55408eb6db
(7.15MB)opam-switch
SHA256:f47012dd066f48a3b0e8a0a6b70384e6e80c4f0cf27abb8d2ceb7a9450c9deef
(152kB)system-packages
SHA256:3bc417bc28daa489ab8aa8b4e4f20fcbd8de9cc5b05e5b35b69f3f1ad1850821
(4.89kB)build-environment
SHA256:6f580f9e4645a331719b95608d66275ba052fd5bbd88e79fb86e2e9c3ff22afd
(359B)
Reproduced by 5 builds
- on ubuntu-20.04, same input, 2022-02-14 15:47:27Z
- on ubuntu-20.04, same input, 2022-02-13 15:53:41Z
- on ubuntu-20.04, same input, 2022-02-12 15:52:28Z
- on ubuntu-20.04, same input, 2022-02-11 15:59:01Z
- on ubuntu-20.04, different input, 2022-02-10 15:47:13Z
Comparisons with other builds on the same platform
- Latest build 2024-04-22 13:29:12Z
- Later build with different output 2022-02-16 15:58:59Z
- Earlier build with different output 2022-02-09 15:53:45Z
?