Job builder

Build 2023-07-03 17:58:56Z

Built on platform ubuntu-20.04

Build took 6min26s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:964812f79b07a76d979d78fcd65f4ddf2a456c9126c02fdb8924abd488a9184d (7.79MB)

opam-switch

SHA256:623fcd6a0221ebe28e7454508ff99e262940d8f54afe22cf1f2bf17dc3af11c5 (115kB)

system-packages

SHA256:97785f4b137fe35ea90ab36f57db22dc2991f8450807c5cd61b8c4bd42a68dad (5.54kB)

build-environment

SHA256:0c2b94a6e94d50315111cd89e38e2513882e714c4bb90ab65169ce6195492a2d (349B)

Reproduced by 6 builds

• on ubuntu-20.04, same input, 2023-07-02 17:55:11Z
• on ubuntu-20.04, same input, 2023-07-01 17:38:01Z
• on ubuntu-20.04, same input, 2023-06-30 18:06:43Z
• on ubuntu-20.04, different input, 2023-06-29 17:43:08Z
• on ubuntu-20.04, different input, 2023-06-28 17:26:44Z
• on ubuntu-20.04, different input, 2023-06-27 18:03:44Z

Comparisons with other builds on the same platform

• Latest build 2024-04-22 13:29:12Z
• Later build with different output 2023-07-04 17:27:14Z
• Earlier build with different output 2023-06-07 19:48:02Z

?