Job builder

Build 2024-08-26 14:05:24Z

Built on platform debian-12

Build took 5min36s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:3923571a2e4733b815f69e50145dfad72626e1a0682531051a7859c84b068b05 (7.68MB)

system-packages

SHA256:a7e752d144870a4492fe5abc0aeefcd0e9dce7155cefcbf0f77f8ce0f7bf30a3 (4.36kB)

build-environment

SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae (314B)

opam-switch

SHA256:f71f93a4bb4a2fa9399cadc60c5852c54100bbc87887e80dc927782db6486eb9 (114kB)

Reproduced by 2 builds

• on debian-12, different input, 2024-08-28 14:26:04Z
• on debian-12, different input, 2024-08-27 14:09:45Z

Comparisons with other builds on the same platform

• Latest build 2024-09-19 14:05:05Z
• Later build with different output 2024-09-05 14:09:58Z
• Earlier build with different output 2024-08-25 14:26:07Z

?