Job builder

Build 2022-11-26 09:55:06Z

Built on platform debian-10

Build took 18min54s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:a10b01ab3f2f678b1150cc4bb1e1becc8a2740b8e564f9a9d0d72363166b9fa1 (7.16MB)

opam-switch

SHA256:a14d3f60fd561e36602427df6d7dde1512be8ea2af04188ac740205948a0b019 (154kB)

build-environment

SHA256:1f6920bce21ab9336439dbaa7473553da90a4a476ec4932ef1448e6938dfe6ef (346B)

system-packages

SHA256:0fae7aaf5658a27d9bef951d465302579f623acea9c1923fd0064343eb78e3e0 (4.35kB)

Reproduced by 4 builds

• on debian-10, same input, 2022-11-29 10:11:52Z
• on debian-10, same input, 2022-11-28 11:45:50Z
• on debian-10, same input, 2022-11-27 10:39:50Z
• on debian-10, different input, 2022-12-05 10:11:45Z

Comparisons with other builds on the same platform

• Latest build 2024-05-18 12:01:55Z
• Later build with different output 2022-12-06 11:00:28Z
• Earlier build with different output 2022-11-25 11:21:47Z

?