Job builder

Build 2023-07-28 17:29:09Z

Built on platform ubuntu-20.04

Build took 6min18s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:a22db0f8bb4581a8bb5817e1b75b843676d14bc099192af03f925c6d34963e92 (7.8MB)

opam-switch

SHA256:73599b731e13ff62efca311dc02e347dfc1a04a46dae85354ab8ad44621833da (115kB)

system-packages

SHA256:f90235daaaf78c7366fa3de1d036b607224eb5f7cc0a52e852b1ed766915d5d0 (5.54kB)

build-environment

SHA256:0c2b94a6e94d50315111cd89e38e2513882e714c4bb90ab65169ce6195492a2d (349B)

Reproduced by 4 builds

• on ubuntu-20.04, same input, 2023-07-27 18:00:30Z
• on ubuntu-20.04, same input, 2023-07-26 17:58:44Z
• on ubuntu-20.04, different input, 2023-07-25 17:44:02Z
• on ubuntu-20.04, different input, 2023-07-23 17:46:26Z

Comparisons with other builds on the same platform

• Latest build 2024-04-22 13:29:12Z
• Later build with different output 2023-08-25 17:54:19Z
• Earlier build with different output 2023-07-20 17:55:23Z

?