Job builder

Build 2022-07-20 18:53:29Z

Built on platform ubuntu-18.04

Build took 19min.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:1e813570e55ad0df3049cd98fc78e63fef5a94b63260b4fa8287b488d7e52d78 (6.8MB)

opam-switch

SHA256:a6cb0b1766ea7ad33d1d9579ee0fc5324a2f7cf38dc22217bfb2910ae68b0877 (150kB)

build-environment

SHA256:e1fc940fce9a11fb40f06ae0d4bae98d19c8b25820cadaa0e3b05013605118f3 (359B)

system-packages

SHA256:9fef47f9addd36bc185d81a6e6985074f3e83c2f25d6931b32dae3f69a625b57 (5.48kB)

Reproduced by 3 builds

• on ubuntu-18.04, different input, 2022-07-24 18:53:19Z
• on ubuntu-18.04, different input, 2022-07-21 18:53:24Z
• on ubuntu-18.04, different input, 2022-07-20 10:37:42Z

Comparisons with other builds on the same platform

• Latest build 2023-11-20 12:38:33Z
• Later build with different output 2022-07-25 18:53:26Z

?