Job builder

Build 2024-08-24 14:09:57Z

Built on platform debian-12

Build took 6min10s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:f8bc2c9cb66a2ad6589256017c8c1de7ec1286eec2f69139250e26789e555837 (7.68MB)

system-packages

SHA256:a7e752d144870a4492fe5abc0aeefcd0e9dce7155cefcbf0f77f8ce0f7bf30a3 (4.36kB)

build-environment

SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae (314B)

opam-switch

SHA256:c89b8892c383536cf31bedc05c973091aa5cc49da8d19554cb24759cdad93e9c (114kB)

Reproduced by 5 builds

• on debian-12, same input, 2024-08-25 14:26:07Z
• on debian-12, same input, 2024-08-23 14:05:17Z
• on debian-12, same input, 2024-08-22 14:25:58Z
• on debian-12, different input, 2024-08-21 14:09:47Z
• on debian-12, different input, 2024-08-16 14:19:33Z

Comparisons with other builds on the same platform

• Latest build 2025-06-02 09:36:00Z
• Later build with different output 2024-08-26 14:05:24Z
• Earlier build with different output 2024-08-15 14:09:38Z

?