Job builder

Build 2023-12-13 13:01:17Z

Built on platform ubuntu-20.04

Build took 11min11s.

Execution result: exited 20.

Build info

Build artifacts

opam-switch
SHA256:46eea2d7d1c174afb9bf12f9b4ea79a5cff857d02721c0fa7fc1851a1dc59e82 (20B)
system-packages
SHA256:c814ab601f78d530a26dc68fed38d6b85cc5cd5e52f99ef7aebc815be3ba3ff2 (5.48kB)
build-environment
SHA256:0c2b94a6e94d50315111cd89e38e2513882e714c4bb90ab65169ce6195492a2d (349B)

Reproduced by 0 builds

    Comparisons with other builds on the same platform


    ?