Job builder

Build 2022-11-23 19:32:25Z

Built on platform ubuntu-20.04

Build took 5min58s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:1a5edcfbf141e14562d27c37cd609681ac6d2a4b5e25aedafccf2599a8495077 (7.25MB)

build-environment

SHA256:0c2b94a6e94d50315111cd89e38e2513882e714c4bb90ab65169ce6195492a2d (349B)

opam-switch

SHA256:0b8b8ab2d1ba9dfcc3d7843e88c8e11534b47585c39d306cccf0eb5e159369b4 (154kB)

system-packages

SHA256:9d35fd6d304b9770dcfc0511dc5471353c9b3e142993c9c6ecdcc1f4f9b66fa2 (5.57kB)

Reproduced by 7 builds

• on ubuntu-20.04, same input, 2022-11-24 19:55:36Z
• on ubuntu-20.04, different input, 2022-11-21 19:46:15Z
• on ubuntu-20.04, different input, 2022-11-22 20:18:01Z
• on ubuntu-20.04, different input, 2022-11-16 20:18:43Z
• on ubuntu-20.04, different input, 2022-11-14 19:39:33Z
• on ubuntu-20.04, different input, 2022-11-06 19:57:42Z
• on ubuntu-20.04, different input, 2022-11-03 19:57:04Z

Comparisons with other builds on the same platform

• Latest build 2023-12-07 13:00:36Z
• Later build with different output 2022-11-25 20:13:38Z
• Earlier build with different output 2022-11-20 19:39:13Z

?