Job builder

Build 2022-04-10 18:46:56Z

Built on platform debian-10

Build took 14min5s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:055be6cc5050401b1ea36b71d86b917ef06d2518262bf4d5788a0c49e282657e (7.14MB)

opam-switch

SHA256:d1ca949ef9da73e4db0cbcce83c76c9b3e055e5404282fa64e472e2b675b105a (153kB)

build-environment

SHA256:e799cc397da848793e65e52ea0268d0d71179300227e5de44ff84531f117cb31 (356B)

system-packages

SHA256:966bb35bf424fadea99f90c6175101038ca4e628316ebd44fa7d3b109e4013fb (4.33kB)

Reproduced by 2 builds

• on debian-10, same input, 2022-04-09 18:48:19Z
• on debian-10, same input, 2022-04-08 18:46:43Z

Comparisons with other builds on the same platform

• Latest build 2024-04-18 12:01:06Z
• Later build with different output 2022-04-11 18:46:55Z
• Earlier build with different output 2022-04-07 18:46:58Z

?