Job builder

Build 2022-02-28 18:45:47Z

Built on platform debian-10

Build took 11min52s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:f0306bfcb88f8ac0c61092eb2ae470d901642c5c6477a787f2a0dec82da23fc4 (7.06MB)

opam-switch

SHA256:80dd8c487203eb1fdd634c724b456b44214a4b6bc21b00ed6117914d74a32d80 (152kB)

build-environment

SHA256:e799cc397da848793e65e52ea0268d0d71179300227e5de44ff84531f117cb31 (356B)

system-packages

SHA256:59b2f7eccc0b9d73e705a34be3fa92bfeb90ac7feb4b07c260972c3401582ea1 (4.28kB)

Reproduced by 6 builds

• on debian-10, same input, 2022-02-27 18:45:39Z
• on debian-10, different input, 2022-02-25 18:45:26Z
• on debian-10, different input, 2022-03-08 18:45:52Z
• on debian-10, different input, 2022-03-03 18:45:56Z
• on debian-10, different input, 2022-03-01 18:45:51Z
• on debian-10, different input, 2022-02-26 18:45:36Z

Comparisons with other builds on the same platform

• Latest build 2024-05-18 12:01:55Z
• Later build with different output 2022-03-09 18:46:04Z
• Earlier build with different output 2022-02-24 18:45:47Z

?