Job builder

Build 2022-12-22 11:53:04Z

Built on platform ubuntu-18.04

Build took 23min26s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:88102b27d5dc5a507ed2063598b3af0338443d0355626885155cbf796d97bf19 (7.38MB)

opam-switch

SHA256:2f1403079a04a613950c51ec5ceec57c962e4fe97f87f932cbf49539152741b1 (157kB)

build-environment

SHA256:ea3e1937497133c1488d57dbac2397fe6bfe7a2828262fadca10d2ac7988cf21 (349B)

system-packages

SHA256:479c89598e35a142dc5465b00ca8e64cc2eeb9a456200a62b5e6a9a890b02a5f (5.6kB)

Reproduced by 6 builds

• on ubuntu-18.04, same input, 2022-12-21 10:44:54Z
• on ubuntu-18.04, same input, 2022-12-20 09:56:18Z
• on ubuntu-18.04, same input, 2022-12-19 11:31:09Z
• on ubuntu-18.04, same input, 2022-12-18 11:04:07Z
• on ubuntu-18.04, same input, 2022-12-17 10:13:03Z
• on ubuntu-18.04, different input, 2022-12-16 11:48:05Z

Comparisons with other builds on the same platform

• Latest build 2023-11-20 12:38:33Z
• Later build with different output 2022-12-28 11:33:27Z
• Earlier build with different output 2022-12-15 10:43:25Z

?