Job builder

Build 2022-11-21 10:25:13Z

Built on platform debian-10

Build took 21min4s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:59e3b641d7aa41fd7cbd31494ff6be1a9bdbca8af001f4042aa1ff8faad50698 (7.16MB)

opam-switch

SHA256:0b8b8ab2d1ba9dfcc3d7843e88c8e11534b47585c39d306cccf0eb5e159369b4 (154kB)

build-environment

SHA256:1f6920bce21ab9336439dbaa7473553da90a4a476ec4932ef1448e6938dfe6ef (346B)

system-packages

SHA256:2295d63573c858f9c190f794534e635557b30f1f61b12eddf2ee4d02d7ab231b (4.34kB)

Reproduced by 4 builds

• on debian-10, different input, 2022-11-04 11:49:40Z
• on debian-10, different input, 2022-11-25 11:21:47Z
• on debian-10, different input, 2022-11-19 11:23:53Z
• on debian-10, different input, 2022-11-05 10:09:08Z

Comparisons with other builds on the same platform

• Latest build 2024-05-03 12:09:38Z
• Later build with different output 2022-11-26 09:55:06Z
• Earlier build with different output 2022-11-20 09:55:02Z

?