Job builder

Build 2022-11-25 11:24:14Z

Built on platform ubuntu-18.04

Build took 21min24s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:0d353f06bfc9f753bdcd7924b0523fa9167669ca99da9e554523dba61a207a2c (6.82MB)

opam-switch

SHA256:0b8b8ab2d1ba9dfcc3d7843e88c8e11534b47585c39d306cccf0eb5e159369b4 (154kB)

build-environment

SHA256:ea3e1937497133c1488d57dbac2397fe6bfe7a2828262fadca10d2ac7988cf21 (349B)

system-packages

SHA256:5f0f515f4b0b9c0090c05c11d827e6ace2ef495bf9c4ed046ad6f03a543783c8 (5.6kB)

Reproduced by 8 builds

• on ubuntu-18.04, same input, 2022-11-24 11:01:20Z
• on ubuntu-18.04, different input, 2022-11-23 10:11:51Z
• on ubuntu-18.04, different input, 2022-11-21 10:25:45Z
• on ubuntu-18.04, different input, 2022-11-19 11:28:24Z
• on ubuntu-18.04, different input, 2022-11-17 10:12:33Z
• on ubuntu-18.04, different input, 2022-11-15 10:43:07Z
• on ubuntu-18.04, different input, 2022-11-07 11:51:08Z
• on ubuntu-18.04, different input, 2022-11-04 11:54:56Z

Comparisons with other builds on the same platform

• Latest build 2023-11-20 12:38:33Z
• Later build with different output 2022-11-26 09:55:06Z
• Earlier build with different output 2022-11-20 09:55:02Z

?