Job builder

Build 2023-02-26 21:38:32Z

Built on platform debian-10

Build took 8min42s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:4b19d962e2070c84fd392cd10751eb383d08e4b47c0fa57466daf760bcb626bf (7.83MB)

build-environment

SHA256:1f6920bce21ab9336439dbaa7473553da90a4a476ec4932ef1448e6938dfe6ef (346B)

opam-switch

SHA256:2271ddb5beb14cb5c5b1444d0cc25f5d4b2b976a983cf3d017924507134169ca (135kB)

system-packages

SHA256:336b601b2624fd7da47163c5c34374dfd354115c3ee9801cbb0195f927a940c9 (4.39kB)

Reproduced by 5 builds

• on debian-10, same input, 2023-02-25 21:18:51Z
• on debian-10, same input, 2023-02-24 21:17:27Z
• on debian-10, different input, 2023-02-23 21:38:54Z
• on debian-10, different input, 2023-02-22 21:25:19Z
• on debian-10, different input, 2023-02-20 21:43:12Z

Comparisons with other builds on the same platform

• Earlier build with different output 2023-02-19 21:31:37Z

?