Job builder

Build 2024-09-14 14:10:06Z

Built on platform debian-12

Build took 5min1s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:daa2d49785bf5c90d2ef1791d65bffbae243d9c2e2c5f5e1459a83df910a855b (7.32MB)

system-packages

SHA256:39b61e76ae0e4be549494ec74f9dd33186486d72db6f96858f11c0e5027acd4f (4.36kB)

build-environment

SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae (314B)

opam-switch

SHA256:eaa987dce0146aaf2315165dd4ab86bf0b5fc0f3f794201e809e9c5eb32ebfa8 (113kB)

Reproduced by 5 builds

• on debian-12, same input, 2024-09-17 14:10:08Z
• on debian-12, same input, 2024-09-16 14:01:07Z
• on debian-12, same input, 2024-09-15 14:26:57Z
• on debian-12, different input, 2024-09-27 14:25:53Z
• on debian-12, different input, 2024-09-18 14:26:50Z

Comparisons with other builds on the same platform

• Latest build 2024-11-12 14:06:03Z
• Later build with different output 2024-09-28 14:05:13Z
• Earlier build with different output 2024-09-12 14:27:49Z

?