Job orb
Build 2022-06-28 19:03:30Z
Built on platform debian-10
Build took 12min59s.
Execution result: exited 0.
Build info
Build artifacts
bin/orb.deb
SHA256:4ac83128d6f29c43095dd41a90432f069d424cc6b2791c96618ec8c13d809df2
(4.11MB)opam-switch
SHA256:2f85a52e23867ea3fa1b4222d9106c3d6c1265f7757b35941bab8bdadb0ede07
(53.4kB)build-environment
SHA256:d63edcc94a5e9f5ee9c546bee7e45195687704c70c20e2345641f9cfb06aedee
(352B)system-packages
SHA256:0ed05b044cd1831f0366383894683f9b7bdccb05f14025e97dc032f178ace82c
(4.24kB)
Reproduced by 16 builds
- on debian-10, same input, 2022-07-02 19:03:20Z
- on debian-10, same input, 2022-07-01 19:03:20Z
- on debian-10, same input, 2022-06-30 19:03:12Z
- on debian-10, same input, 2022-06-29 19:02:47Z
- on debian-10, same input, 2022-06-27 19:03:21Z
- on debian-10, same input, 2022-06-26 19:03:24Z
- on debian-10, different input, 2022-07-22 19:12:33Z
- on debian-10, different input, 2022-07-20 19:12:40Z
- on debian-10, different input, 2022-07-05 19:19:17Z
- on debian-10, different input, 2022-06-25 19:03:38Z
- on debian-10, different input, 2022-06-20 19:03:04Z
- on debian-10, different input, 2022-06-17 19:03:23Z
- on debian-10, different input, 2022-06-14 19:03:18Z
- on debian-10, different input, 2022-05-24 19:02:34Z
- on debian-10, different input, 2022-05-21 19:02:33Z
- on debian-10, different input, 2022-05-19 19:03:03Z
Comparisons with other builds on the same platform
- Latest build 2024-05-07 11:53:04Z
- Later build with different output 2022-07-23 19:11:03Z
- Earlier build with different output 2022-05-17 19:02:29Z
?