Job builder

Build 2022-09-24 15:12:28Z

Built on platform debian-10

Build took 20min49s.

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:32a79e722c5ef986729e8022f9dad66f2c4bec9115a9a6ec2a2aaf17c7536143 (4.34kB)

Reproduced by 4 builds

• on debian-10, same input, 2022-09-23 14:36:09Z
• on debian-10, different input, 2022-09-27 15:15:50Z
• 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-05-18 12:01:55Z
• Later build with different output 2022-09-28 13:35:06Z
• Earlier build with different output 2022-09-16 13:36:09Z

?