Job builder

Build 2023-09-06 10:41:01Z

Built on platform debian-10

Build took 7min28s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:a4ddd40de308fefbf3f1ffb9eec910fd06337ed62702c7df794ad9def0499d19 (7.69MB)

system-packages

SHA256:dc3c9a02123c26a73e9cc5ab1d9c08a725017a823aa6a99497143485b7c2b15d (4.38kB)

build-environment

SHA256:1f6920bce21ab9336439dbaa7473553da90a4a476ec4932ef1448e6938dfe6ef (346B)

opam-switch

SHA256:8db9a60ec95bada6b734f008b1657ea4ce933b38602c0454caba0aabecb73b30 (115kB)

Reproduced by 6 builds

• on debian-10, same input, 2023-09-07 21:20:15Z
• on debian-10, same input, 2023-09-06 21:41:41Z
• on debian-10, different input, 2023-09-13 21:20:20Z
• on debian-10, different input, 2023-09-12 21:41:32Z
• on debian-10, different input, 2023-09-10 21:20:18Z
• on debian-10, different input, 2023-09-08 21:21:33Z

Comparisons with other builds on the same platform

• Latest build 2024-05-18 12:01:55Z
• Later build with different output 2023-09-14 21:21:38Z
• Earlier build with different output 2023-06-01 21:19:55Z

?