Job builder

Build 2022-09-28 13:35:06Z

Built on platform debian-10

Build took 18min23s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:20dbc73aabf3d78e2d84929d2de36a3c37480bd3b55ec1a38bb6324a553228eb (7.15MB)

opam-switch

SHA256:dda024b372ad1b8625b21ea593f9fa8da33ac8afdeee89b10e9b48d495b3b6ab (153kB)

build-environment

SHA256:1f6920bce21ab9336439dbaa7473553da90a4a476ec4932ef1448e6938dfe6ef (346B)

system-packages

SHA256:2b31622e6e7ea40306a929bc2f102d0b9c2fcf608b1e19f0eeb48975a98efd0d (4.34kB)

Reproduced by 3 builds

• on debian-10, same input, 2022-09-29 14:33:52Z
• on debian-10, different input, 2022-10-05 14:34:01Z
• on debian-10, different input, 2022-10-03 15:14:42Z

Comparisons with other builds on the same platform

• Latest build 2024-05-12 12:01:38Z
• Later build with different output 2022-10-06 15:22:10Z
• Earlier build with different output 2022-09-27 15:15:50Z

?