Job builder

Build 2023-02-20 21:43:12Z

Built on platform debian-10

Build took 8min11s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:4b19d962e2070c84fd392cd10751eb383d08e4b47c0fa57466daf760bcb626bf (7.83MB)

system-packages

SHA256:0ec7de1f23f99cff97ac6cf028c72edd92607761b94701f88351e6db8a0d2029 (4.4kB)

build-environment

SHA256:1f6920bce21ab9336439dbaa7473553da90a4a476ec4932ef1448e6938dfe6ef (346B)

opam-switch

SHA256:2271ddb5beb14cb5c5b1444d0cc25f5d4b2b976a983cf3d017924507134169ca (135kB)

Reproduced by 3 builds

• 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-22 21:25:19Z

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

?