Job builder

Build 2024-12-20 18:43:36Z

Built on platform debian-12

Build took 5min2s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:f09c4a10e2d3d7806052b72d639bc009162bc54305c1b837ffa3c2d35dbc50fb (7.33MB)

system-packages

SHA256:99ec2e0e686cb32677be5c2f03eaa64da01c4a85d7331bc636d539b97a3e9066 (4.38kB)

build-environment

SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae (314B)

opam-switch

SHA256:c50e5da74c0377a61161036b856b504652f601d68654b848b11f228ab53659b4 (114kB)

Reproduced by 3 builds

• on debian-12, same input, 2024-12-19 19:19:14Z
• 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

?