Job builder

Build 2023-09-18 21:41:54Z

Built on platform debian-10

Build took 7min18s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:57284cd6f984583ed6e4b8a90880e10f6ab9861f068015ef01650665c0edd8e4 (7.77MB)

system-packages

SHA256:79929271edd2b198c5624af54a1f251770687df3d8d05dca82b065dd5031ab22 (4.38kB)

build-environment

SHA256:1f6920bce21ab9336439dbaa7473553da90a4a476ec4932ef1448e6938dfe6ef (346B)

opam-switch

SHA256:e33a552b67a3b967cf62d0de3ce5b076b8fda1ac1916271bc8eded406ef0e7cf (115kB)

Reproduced by 2 builds

• on debian-10, different input, 2023-09-17 21:21:43Z
• on debian-10, different input, 2023-09-15 21:41:38Z

Comparisons with other builds on the same platform

• Latest build 2024-05-01 20:21:31Z
• Later build with different output 2023-09-19 21:20:26Z
• Earlier build with different output 2023-09-13 21:20:20Z

?