Job builder

Build 2023-12-07 13:00:36Z

Built on platform ubuntu-20.04

Build took 6min27s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:31cbc0d778c587e64a8658d940599aaf23033bad349c50d9e848f2d0b95853f9 (7.9MB)

opam-switch

SHA256:0bba567b66e4173801e9c39c1d1c79afd5e3b2cbf9af2eff5453669a49f2caee (114kB)

system-packages

SHA256:6c598aae5f082c2860e20fc994611d9880368f1c281b4621c69e456231cd093f (5.55kB)

build-environment

SHA256:0c2b94a6e94d50315111cd89e38e2513882e714c4bb90ab65169ce6195492a2d (349B)

Reproduced by 2 builds

• on ubuntu-20.04, different input, 2023-12-06 13:34:39Z
• on ubuntu-20.04, different input, 2023-11-30 13:37:34Z

Comparisons with other builds on the same platform

• Latest build 2024-04-22 13:29:12Z
• Later build with different output 2023-12-08 13:24:31Z
• Earlier build with different output 2023-11-28 12:57:51Z

?