Job builder

Build 2022-07-22 18:53:15Z

Built on platform debian-10

Build took 18min48s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:d9af4f0e7f92f4d9db91ada34a1df176093754a70386b48ef0d713a54f3ce90d (7.13MB)

opam-switch

SHA256:a59d33300b7a24692974327793bbdc91535cb43841a54eb1531fd58db9ecba44 (150kB)

build-environment

SHA256:e799cc397da848793e65e52ea0268d0d71179300227e5de44ff84531f117cb31 (356B)

system-packages

SHA256:f7ca062bd2a014399caaac620b9047b8c2d9b9a4be787952ff7e34c6efe7719e (4.34kB)

Reproduced by 4 builds

• on debian-10, same input, 2022-07-24 18:52:44Z
• on debian-10, same input, 2022-07-23 18:52:20Z
• on debian-10, different input, 2022-07-21 18:53:11Z
• on debian-10, different input, 2022-07-20 18:52:55Z

Comparisons with other builds on the same platform

• Latest build 2024-04-30 12:01:32Z
• Later build with different output 2022-07-25 18:52:39Z
• Earlier build with different output 2022-07-04 18:48:08Z

?