Job builder

Build 2023-02-20 21:43:47Z

Built on platform ubuntu-18.04

Build took 8min4s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:ad1c249fb43b682b976f3233fbc7616d7a0ee3a76185b8ae10a17b2ef39e444a (7.3MB)

system-packages

SHA256:58b39c9733a50e898cc3912c868594399a050880374edf2236fc2f1f44c85670 (5.6kB)

build-environment

SHA256:ea3e1937497133c1488d57dbac2397fe6bfe7a2828262fadca10d2ac7988cf21 (349B)

opam-switch

SHA256:2271ddb5beb14cb5c5b1444d0cc25f5d4b2b976a983cf3d017924507134169ca (135kB)

Reproduced by 1 builds

• on ubuntu-18.04, different input, 2023-02-26 21:39:20Z

Comparisons with other builds on the same platform

• Latest build 2023-11-20 12:38:33Z
• Later build with different output 2023-04-11 12:36:56Z
• Earlier build with different output 2023-02-19 21:32:11Z

?