Job builder

Build 2023-06-03 20:16:21Z

Built on platform ubuntu-20.04

Build took 6min6s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:e943a1aa09968c10a5a090faa3049c590f2ba947ac7818d160cddcf3b8c4f28e (7.79MB)

opam-switch

SHA256:4b1264232756344397987d122875a193670c90430d5acce84e74ed8fe3f9333d (114kB)

system-packages

SHA256:494cd9b8843fef64f261b9c1b88ee23e944a01b8f26250c8d3e18106ba1746a5 (5.54kB)

build-environment

SHA256:0c2b94a6e94d50315111cd89e38e2513882e714c4bb90ab65169ce6195492a2d (349B)

Reproduced by 5 builds

• on ubuntu-20.04, same input, 2023-06-04 19:54:59Z
• on ubuntu-20.04, same input, 2023-06-01 19:47:30Z
• on ubuntu-20.04, different input, 2023-06-07 19:48:02Z
• on ubuntu-20.04, different input, 2023-06-05 20:02:24Z
• on ubuntu-20.04, different input, 2023-05-31 20:21:58Z

Comparisons with other builds on the same platform

• Latest build 2024-04-19 13:49:00Z
• Later build with different output 2023-06-21 17:28:22Z
• Earlier build with different output 2023-05-30 20:01:16Z

?