Job builder

Build 2024-10-26 14:11:01Z

Built on platform debian-12

Build took 5min3s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:6469980d5907e57f8c6324c446d474983afbfebcaa81e8dce45b12f43d37e582 (7.32MB)

system-packages

SHA256:e2e6a11d069766f0c00c5b22e00c3a27a8011b1b5c8dcf628dccfaf1f67cd271 (4.37kB)

build-environment

SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae (314B)

opam-switch

SHA256:dce108b4d84333851ccc8f46ce43a4010b4a189f747a30f608014f0547bd802e (113kB)

Reproduced by 3 builds

• on debian-12, same input, 2024-10-28 14:05:39Z
• on debian-12, same input, 2024-10-27 14:26:51Z
• on debian-12, same input, 2024-10-25 14:05:34Z

Comparisons with other builds on the same platform

• Latest build 2025-06-02 09:36:00Z
• Later build with different output 2024-10-30 14:26:44Z
• Earlier build with different output 2024-10-24 14:27:07Z

?