Job builder

Build 2022-04-10 19:59:38Z

Built on platform ubuntu-20.04

Build took 6min3s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:5d5b14f9c3f0fb73410127e973fbfb58ba0dc4605180368267772848067f63cf (7.24MB)

opam-switch

SHA256:dcb11df9bc674435190e84940d7a555a07932f804fe7bfb768dadeac53c732df (153kB)

system-packages

SHA256:fb0c0dc6aa9f4c11794b568dd2030d07f1b62c5db6a9d03aecd739da9f045bb5 (5.5kB)

build-environment

SHA256:6f580f9e4645a331719b95608d66275ba052fd5bbd88e79fb86e2e9c3ff22afd (359B)

Reproduced by 3 builds

• on ubuntu-20.04, same input, 2022-04-12 19:32:09Z
• on ubuntu-20.04, same input, 2022-04-11 20:14:15Z
• on ubuntu-20.04, different input, 2022-04-18 19:33:47Z

Comparisons with other builds on the same platform

• Latest build 2024-05-21 13:19:59Z
• Later build with different output 2022-08-05 12:02:55Z
• Earlier build with different output 2022-04-09 19:29:49Z

?