Job builder

Build 2024-11-06 14:05:46Z

Built on platform debian-12

Build took 4min58s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:9837bf52093848553f10162d7c3d30b135f6f25bc1ca150c121d09d3a42b179e (7.33MB)

system-packages

SHA256:e2e6a11d069766f0c00c5b22e00c3a27a8011b1b5c8dcf628dccfaf1f67cd271 (4.37kB)

build-environment

SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae (314B)

opam-switch

SHA256:d66e6e6167c9934ae0d0e72c61b972f00d337bd4d23b9d031cffc098957736ea (113kB)

Reproduced by 3 builds

• on debian-12, same input, 2024-11-05 14:26:45Z
• on debian-12, same input, 2024-11-04 14:10:55Z
• on debian-12, different input, 2024-11-03 14:05:42Z

Comparisons with other builds on the same platform

• Latest build 2025-05-31 09:01:23Z
• Later build with different output 2024-11-07 14:10:47Z
• Earlier build with different output 2024-10-28 14:05:39Z

?