Job builder

Build 2023-09-17 18:00:39Z

Built on platform ubuntu-20.04

Build took 8min40s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:b37758bd26e708961c534c45201d4fa1ad1fd98e4caa86fa032a60312df0018c (7.89MB)

build-environment

SHA256:0c2b94a6e94d50315111cd89e38e2513882e714c4bb90ab65169ce6195492a2d (349B)

opam-switch

SHA256:e33a552b67a3b967cf62d0de3ce5b076b8fda1ac1916271bc8eded406ef0e7cf (115kB)

system-packages

SHA256:e2d9bc5e73c574abf29f686e3002ef656fb3a1cd7937460acbfe6991d4ad34f1 (5.55kB)

Reproduced by 3 builds

• on ubuntu-20.04, same input, 2023-09-16 17:35:11Z
• on ubuntu-20.04, same input, 2023-09-15 18:24:51Z
• on ubuntu-20.04, different input, 2023-09-14 18:14:16Z

Comparisons with other builds on the same platform

• Latest build 2023-09-29 11:03:03Z
• Later build with different output 2023-09-19 11:07:48Z
• Earlier build with different output 2023-09-13 17:45:21Z

?