Job builder

Build 2023-02-22 21:25:19Z

Built on platform debian-10

Build took 8min15s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:4b19d962e2070c84fd392cd10751eb383d08e4b47c0fa57466daf760bcb626bf (7.83MB)

system-packages

SHA256:d7f0b9409e88f94fdb737b71247466e05c95d01b13dcb529adfc8bf5b0381f9a (4.39kB)

build-environment

SHA256:1f6920bce21ab9336439dbaa7473553da90a4a476ec4932ef1448e6938dfe6ef (346B)

opam-switch

SHA256:2271ddb5beb14cb5c5b1444d0cc25f5d4b2b976a983cf3d017924507134169ca (135kB)

Reproduced by 4 builds

• on debian-10, same input, 2023-02-21 21:24:07Z
• on debian-10, different input, 2023-02-26 21:38:32Z
• on debian-10, different input, 2023-02-23 21:38:54Z
• on debian-10, different input, 2023-02-20 21:43:12Z

Comparisons with other builds on the same platform

• Latest build 2024-05-16 12:21:05Z
• Later build with different output 2023-04-11 12:36:37Z
• Earlier build with different output 2023-02-19 21:31:37Z

?