Job orb

Build 2023-09-17 21:42:20Z

Built on platform debian-10

Build took 6min30s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/orb.deb

SHA256:040a905da767baa6f0a112fca9f601d639596655b0ec97a2b1c7f3b2df4abd28 (4.12MB)

system-packages

SHA256:952f8d7e3c6f5e2964c7d14c47fcdbb28fd0558eae792b8a2e01a1e7e18855a5 (4.31kB)

build-environment

SHA256:c113cffae6cdd0899bd21918703befeaaf90c0c5d08a8e71308b2b16fc3bf2dd (342B)

opam-switch

SHA256:f7b0cef5d84274f1e60b4ad72e69bf304a1fb0d5c1c88808629593a105987246 (38.4kB)

Reproduced by 8 builds

• on debian-10, same input, 2023-09-16 21:28:04Z
• on debian-10, same input, 2023-09-15 21:20:22Z
• on debian-10, same input, 2023-09-14 21:42:09Z
• on debian-10, same input, 2023-09-13 21:27:57Z
• on debian-10, same input, 2023-09-12 21:20:20Z
• on debian-10, same input, 2023-09-11 21:42:08Z
• on debian-10, same input, 2023-09-10 21:27:56Z
• on debian-10, different input, 2023-09-09 21:20:17Z

Comparisons with other builds on the same platform

• Latest build 2024-05-03 12:18:09Z
• Later build with different output 2023-09-18 21:20:25Z
• Earlier build with different output 2023-09-08 21:41:51Z

?