Job orb
Build 2023-02-13 20:00:32Z
Built on platform ubuntu-20.04
Build took 5min50s.
Execution result: exited 0.
Build info
Build artifacts
bin/orb.deb
SHA256:9dda04fc0a234524cc3c0def1bc683e6837585162815fa258600d86fba11644b
(4.38MB)opam-switch
SHA256:edb7f5624ec108710e41cb4eb6803840bbb6b1db4f1a2767279e38f44453a3b3
(40.2kB)system-packages
SHA256:1d3a1d770a4f1e1399eec596d821ad08a58de26a165dfc3534cc5433e96cafed
(5.47kB)build-environment
SHA256:b21c5f57a18ceb73c2571543d8d9fe69e64627601c7a987e92b43a81a0725274
(345B)
Reproduced by 13 builds
- on ubuntu-20.04, same input, 2023-02-12 19:38:08Z
- on ubuntu-20.04, same input, 2023-02-11 20:15:21Z
- on ubuntu-20.04, same input, 2023-02-10 19:52:29Z
- on ubuntu-20.04, same input, 2023-02-09 19:45:56Z
- on ubuntu-20.04, same input, 2023-02-08 20:07:50Z
- on ubuntu-20.04, different input, 2023-03-20 20:17:47Z
- on ubuntu-20.04, different input, 2023-03-19 19:57:22Z
- on ubuntu-20.04, different input, 2023-03-16 20:03:25Z
- on ubuntu-20.04, different input, 2023-03-01 19:55:27Z
- on ubuntu-20.04, different input, 2023-02-26 20:02:19Z
- on ubuntu-20.04, different input, 2023-02-19 20:00:27Z
- on ubuntu-20.04, different input, 2023-02-07 20:00:35Z
- on ubuntu-20.04, different input, 2023-02-06 19:37:47Z
Comparisons with other builds on the same platform
- Latest build 2024-05-27 13:17:54Z
- Later build with different output 2023-03-21 19:41:32Z
- Earlier build with different output 2023-01-31 19:37:26Z
?