Job builder

Build 2022-11-20 09:55:02Z

Built on platform debian-10

Build took 18min30s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:ddb41d491e5e5bcff541e5fcde10aa25a77aef1e083a0be7235d7676040b05b2 (7.16MB)

opam-switch

SHA256:0bf051f230a132260b536810c0b943c8bea810210eb05d00ca6ed212a3fddc01 (154kB)

build-environment

SHA256:1f6920bce21ab9336439dbaa7473553da90a4a476ec4932ef1448e6938dfe6ef (346B)

system-packages

SHA256:0fae7aaf5658a27d9bef951d465302579f623acea9c1923fd0064343eb78e3e0 (4.35kB)

Reproduced by 0 builds

Comparisons with other builds on the same platform

• Latest build 2024-04-19 12:27:12Z
• Later build with different output 2022-11-21 10:25:13Z
• Earlier build with different output 2022-11-19 11:23:53Z

?