Job builder

Build 2023-09-18 21:42:36Z

Built on platform ubuntu-18.04

Build took 7min15s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:45f1cb0d1a2ea2e33b956ae4dca04fa08c6674325ffff28a877aeb280c9567c0 (7.3MB)

build-environment

SHA256:ea3e1937497133c1488d57dbac2397fe6bfe7a2828262fadca10d2ac7988cf21 (349B)

opam-switch

SHA256:e33a552b67a3b967cf62d0de3ce5b076b8fda1ac1916271bc8eded406ef0e7cf (115kB)

system-packages

SHA256:8bb92e71ba948a9b5ecda4cbfbffbe436c21d61f9aff9241047b912101161fd8 (5.57kB)

Reproduced by 2 builds

• on ubuntu-18.04, different input, 2023-09-17 21:21:53Z
• on ubuntu-18.04, different input, 2023-09-15 21:42:21Z

Comparisons with other builds on the same platform

• Latest build 2023-09-26 21:42:33Z
• Later build with different output 2023-09-19 21:20:26Z
• Earlier build with different output 2023-09-13 21:20:20Z

?