Job builder

Build 2022-07-24 18:53:19Z

Built on platform ubuntu-18.04

Build took 18min25s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:1e813570e55ad0df3049cd98fc78e63fef5a94b63260b4fa8287b488d7e52d78 (6.8MB)

opam-switch

SHA256:a59d33300b7a24692974327793bbdc91535cb43841a54eb1531fd58db9ecba44 (150kB)

build-environment

SHA256:e1fc940fce9a11fb40f06ae0d4bae98d19c8b25820cadaa0e3b05013605118f3 (359B)

system-packages

SHA256:9fef47f9addd36bc185d81a6e6985074f3e83c2f25d6931b32dae3f69a625b57 (5.48kB)

Reproduced by 5 builds

• on ubuntu-18.04, same input, 2022-07-23 18:52:29Z
• on ubuntu-18.04, same input, 2022-07-22 18:53:16Z
• on ubuntu-18.04, different input, 2022-07-21 18:53:24Z
• on ubuntu-18.04, different input, 2022-07-20 18:53:29Z
• 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

?