Job builder

Build 2023-04-29 21:19:41Z

Built on platform debian-10

Build took 7min7s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:d6aed56459e8830d139f2a1e18f72dfff2ab6e7e291f931a78e9d42fa5d6bd68 (7.67MB)

system-packages

SHA256:527348cf4d5115ee52dcdf59a2fa337f2a2bd6e94f6a9045b47831373211b38a (4.38kB)

build-environment

SHA256:1f6920bce21ab9336439dbaa7473553da90a4a476ec4932ef1448e6938dfe6ef (346B)

opam-switch

SHA256:f372488c0689c54104652359d1a152594152880f17b1c2a93685a0ae53ea5539 (115kB)

Reproduced by 11 builds

• on debian-10, same input, 2023-04-28 21:18:21Z
• on debian-10, same input, 2023-04-27 21:39:46Z
• on debian-10, same input, 2023-04-26 21:19:43Z
• on debian-10, same input, 2023-04-25 21:18:19Z
• on debian-10, same input, 2023-04-24 21:39:42Z
• on debian-10, same input, 2023-04-23 21:19:37Z
• on debian-10, same input, 2023-04-22 21:18:16Z
• on debian-10, same input, 2023-04-21 21:39:33Z
• on debian-10, different input, 2023-05-30 21:33:53Z
• on debian-10, different input, 2023-04-20 21:19:33Z
• on debian-10, different input, 2023-04-18 21:39:31Z

Comparisons with other builds on the same platform

• Latest build 2024-05-09 12:09:11Z
• Later build with different output 2023-05-31 21:18:50Z
• Earlier build with different output 2023-04-11 21:19:26Z

?