Job builder

Build 2023-06-07 19:48:02Z

Built on platform ubuntu-20.04

Build took 7min50s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:e943a1aa09968c10a5a090faa3049c590f2ba947ac7818d160cddcf3b8c4f28e (7.79MB)

opam-switch

SHA256:df7991775b36f1292af78d633d1b5553a9b2181e2e8ac22f07deae840a97888c (114kB)

system-packages

SHA256:fbf90b706f0f0ebf6b160da71d50801d5d8ba5b5d789f9ca1299417b5b8fcad1 (5.54kB)

build-environment

SHA256:0c2b94a6e94d50315111cd89e38e2513882e714c4bb90ab65169ce6195492a2d (349B)

Reproduced by 4 builds

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

Comparisons with other builds on the same platform

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

?