Job builder

Build 2025-01-12 19:19:00Z

Built on platform debian-12

Build took 4min51s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:f09c4a10e2d3d7806052b72d639bc009162bc54305c1b837ffa3c2d35dbc50fb (7.33MB)

system-packages

SHA256:bfa3bb6c2b00e1f8cb065fdb75dd9df2305efb6957e4c8f9e732c19585b5b1c3 (4.38kB)

build-environment

SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae (314B)

opam-switch

SHA256:9486a557437945ffb007ffe71dab271d867365cc4653346430007397eec04ca3 (114kB)

Reproduced by 4 builds

• on debian-12, different input, 2025-01-11 19:04:18Z
• on debian-12, different input, 2025-01-10 18:43:58Z
• on debian-12, different input, 2024-12-18 19:03:58Z
• on debian-12, different input, 2024-12-17 18:43:33Z

Comparisons with other builds on the same platform

• Earlier build with different output 2024-12-16 19:19:23Z

?