Job builder

Build 2022-08-15 10:43:20Z

Built on platform ubuntu-18.04

Build took 19min45s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:7df397c5e36a179801c02a3a93273a37d687f490c4dd2c9b4e26d44d4b3801a2 (6.81MB)

opam-switch

SHA256:ea61bb0b6e15214025c8b1688b578b3584e08667cb530fd6889c9e0d66ca6d0a (152kB)

build-environment

SHA256:ea3e1937497133c1488d57dbac2397fe6bfe7a2828262fadca10d2ac7988cf21 (349B)

system-packages

SHA256:e05770c66224b53a967752fc52d34e63d89ff324c769e3a2977e5931438c2fec (5.48kB)

Reproduced by 7 builds

• on ubuntu-18.04, same input, 2022-08-14 10:03:16Z
• on ubuntu-18.04, same input, 2022-08-13 09:51:29Z
• on ubuntu-18.04, same input, 2022-08-12 10:41:01Z
• on ubuntu-18.04, same input, 2022-08-11 10:15:35Z
• on ubuntu-18.04, same input, 2022-08-10 09:39:37Z
• on ubuntu-18.04, different input, 2022-08-09 10:42:33Z
• on ubuntu-18.04, different input, 2022-08-08 10:02:11Z

Comparisons with other builds on the same platform

• Latest build 2023-11-20 12:38:33Z
• Later build with different output 2022-08-16 09:40:11Z
• Earlier build with different output 2022-08-04 10:10:11Z

?