Job orb

Build 2022-06-20 19:03:04Z

Built on platform debian-10

Build took 13min6s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/orb.deb

SHA256:4ac83128d6f29c43095dd41a90432f069d424cc6b2791c96618ec8c13d809df2 (4.11MB)

opam-switch

SHA256:fd53b7aa74550682c6e759e54183a682811441e4172febea6d0188adf637e0ea (53.4kB)

build-environment

SHA256:d63edcc94a5e9f5ee9c546bee7e45195687704c70c20e2345641f9cfb06aedee (352B)

system-packages

SHA256:2d4e42bcd0c76cf0b22baf4c8f9eadddee4becb875b2bf4a3aaa9ad1cc8f8135 (4.24kB)

Reproduced by 12 builds

• on debian-10, same input, 2022-06-19 19:03:11Z
• on debian-10, same input, 2022-06-18 19:03:18Z
• 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-25 19:03:38Z
• 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-02 12:17:53Z
• Later build with different output 2022-07-23 19:11:03Z
• Earlier build with different output 2022-05-17 19:02:29Z

?