Job orb
Build 2022-06-23 19:03:19Z
Built on platform debian-10
Build took 12min44s.
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:2d4e42bcd0c76cf0b22baf4c8f9eadddee4becb875b2bf4a3aaa9ad1cc8f8135
(4.24kB)
Reproduced by 14 builds
- on debian-10, same input, 2022-06-25 19:03:38Z
- on debian-10, same input, 2022-06-24 19:02:51Z
- on debian-10, same input, 2022-06-22 19:03:22Z
- on debian-10, same input, 2022-06-21 19:03:11Z
- 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-07-02 19:03:20Z
- 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-04-24 12:27:58Z
- Later build with different output 2022-07-23 19:11:03Z
- Earlier build with different output 2022-05-17 19:02:29Z
?