Job builder

Build 2023-03-18 20:02:36Z

Built on platform ubuntu-20.04

Build took 6min5s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:1207d0da32d542946e1638065bab09a4771e2ac63988d411368ac75de6ae5eb4 (7.78MB)

build-environment

SHA256:0c2b94a6e94d50315111cd89e38e2513882e714c4bb90ab65169ce6195492a2d (349B)

opam-switch

SHA256:aeb102c6b20cfec27839965d34017cb7da4eaa819388a10f568f29343744f4f9 (117kB)

system-packages

SHA256:34731ccd642826eac46929385f50cd4d82223fdd6ccfe630f67ea3fd2b72d383 (5.57kB)

Reproduced by 3 builds

• on ubuntu-20.04, same input, 2023-03-19 20:10:18Z
• on ubuntu-20.04, same input, 2023-03-17 19:41:18Z
• on ubuntu-20.04, different input, 2023-03-16 20:17:35Z

Comparisons with other builds on the same platform

• Latest build 2023-03-23 19:41:39Z
• Later build with different output 2023-03-20 19:49:26Z
• Earlier build with different output 2023-03-14 19:49:07Z

?