Job builder

Build 2024-10-11 14:10:19Z

Built on platform debian-12

Build took 4min53s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:bcc3c3a246c12657f3ef5818e3cca1a19c6163bdd50c6596186f1d8848a8aa0e (7.33MB)

system-packages

SHA256:e2e6a11d069766f0c00c5b22e00c3a27a8011b1b5c8dcf628dccfaf1f67cd271 (4.37kB)

build-environment

SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae (314B)

opam-switch

SHA256:fbdc8d2578ed3e8037d5e4aea5481a103e9ba043622eb81c86ad5e9f362f483a (112kB)

Reproduced by 3 builds

• on debian-12, same input, 2024-10-13 14:05:27Z
• on debian-12, different input, 2024-10-24 14:27:07Z
• on debian-12, different input, 2024-10-22 14:05:32Z

Comparisons with other builds on the same platform

• Latest build 2024-11-21 19:03:45Z
• Later build with different output 2024-10-25 14:05:34Z
• Earlier build with different output 2024-10-10 14:05:23Z

?