Job builder

Build 2025-01-13 18:44:01Z

Built on platform debian-12

Build took 5min1s.

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 5 builds

• on debian-12, same input, 2025-01-12 19:19:00Z
• 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

• Latest build 2025-05-31 09:01:23Z
• Later build with different output 2025-01-20 09:25:41Z
• Earlier build with different output 2024-12-16 19:19:23Z

?