Job orb

Build 2022-07-22 19:12:33Z

Built on platform debian-10

Build took 16min22s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/orb.deb

SHA256:4ac83128d6f29c43095dd41a90432f069d424cc6b2791c96618ec8c13d809df2 (4.11MB)

build-environment

SHA256:d63edcc94a5e9f5ee9c546bee7e45195687704c70c20e2345641f9cfb06aedee (352B)

opam-switch

SHA256:79894dbfbef1e540a9c9d02337e9ef252e898c5315dca561a3400297ba695b37 (53.5kB)

system-packages

SHA256:f44524d44c60fbc4b427613b6bab2918233737c71d3fe40b4e0838e007b7c996 (4.24kB)

Reproduced by 11 builds

• on debian-10, same input, 2022-07-21 19:13:30Z
• 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-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 2023-02-26 21:17:29Z
• Later build with different output 2022-07-23 19:11:03Z
• Earlier build with different output 2022-05-17 19:02:29Z

?