Job builder

Build 2023-04-11 19:51:14Z

Built on platform ubuntu-20.04

Build took 6min13s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:0cd4aa0ba3ca71f9ee6a5ad1c236d63f9e5b6dc9c708f163303e8f85d2c74f7c (7.78MB)

opam-switch

SHA256:ebf86e70df99b0a5fe4ea3ddd68eb5585933897e12f94b6c38a2f1f5a14f3d61 (115kB)

system-packages

SHA256:a33cc9deeacc378357758e70768abe49cad22efff97e4b95e87b1e753b43d1b0 (5.54kB)

build-environment

SHA256:0c2b94a6e94d50315111cd89e38e2513882e714c4bb90ab65169ce6195492a2d (349B)

Reproduced by 7 builds

• on ubuntu-20.04, same input, 2023-04-10 20:11:04Z
• on ubuntu-20.04, same input, 2023-04-09 20:05:17Z
• on ubuntu-20.04, same input, 2023-04-08 19:42:49Z
• on ubuntu-20.04, same input, 2023-04-07 20:20:06Z
• on ubuntu-20.04, same input, 2023-04-06 19:56:48Z
• on ubuntu-20.04, same input, 2023-04-05 19:50:37Z
• on ubuntu-20.04, different input, 2023-04-04 20:16:04Z

Comparisons with other builds on the same platform

• Latest build 2024-04-19 13:49:00Z
• Later build with different output 2023-04-12 19:57:20Z
• Earlier build with different output 2023-04-02 19:55:18Z

?