Job builder

Build 2022-09-25 13:37:37Z

Built on platform debian-10

Build took 21min21s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:9cab90a8a2150227de05ab58de1db6d7231fa2ff9bb7299a3ea135f475b8ccfe (7.15MB)

opam-switch

SHA256:cf74a4aeafa003b1368c226ac498317f3a1f5bc10eb6b701834d8cfdc9fdd06f (153kB)

build-environment

SHA256:1f6920bce21ab9336439dbaa7473553da90a4a476ec4932ef1448e6938dfe6ef (346B)

system-packages

SHA256:2b31622e6e7ea40306a929bc2f102d0b9c2fcf608b1e19f0eeb48975a98efd0d (4.34kB)

Reproduced by 5 builds

• on debian-10, same input, 2022-09-27 15:15:50Z
• on debian-10, same input, 2022-09-26 14:40:21Z
• on debian-10, different input, 2022-09-24 15:12:28Z
• on debian-10, different input, 2022-09-22 13:36:31Z
• on debian-10, different input, 2022-09-17 14:34:51Z

Comparisons with other builds on the same platform

• Latest build 2024-04-19 12:27:12Z
• Later build with different output 2022-09-28 13:35:06Z
• Earlier build with different output 2022-09-16 13:36:09Z

?