Job builder-ubuntu-20.04

Build 2021-10-23 13:32:46Z

Built on platform ubuntu-20.04

Build took 5min24s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:f57fbab512acb6e0057d32fae67cb750a9c47945796cc9c1fb4dbd50ef916e06 (7.19MB)

opam-switch

SHA256:00cb3868add3343c44857af902b8daabed0e9a2e95b3372ce874c0d678e423aa (142kB)

system-packages

SHA256:55e9a8abebb6ab1ae12f9d1646a4d25808f379d407cd077d934eb15cdc53659b (4.89kB)

build-environment

SHA256:197ebd4b706be69c547ca739a55cdb8dc9ed9dc7952a1f56a4c74ce7fcf0ef47 (232B)

Reproduced by 3 builds

• on ubuntu-20.04, same input, 2021-10-24 13:33:00Z
• on ubuntu-20.04, same input, 2021-10-22 13:32:50Z
• on ubuntu-20.04, same input, 2021-10-21 13:32:44Z

Comparisons with other builds on the same platform

• Latest build 2024-04-18 13:32:45Z
• Later build with different output 2021-10-25 13:32:38Z
• Earlier build with different output 2021-10-20 13:32:10Z

?