Job albatross

Build 2023-02-19 12:38:23Z

Built on platform debian-10

Build took 8min8s.

Execution result: exited 31.

Build info

Build artifacts

system-packages
SHA256:ecab82565cfb56099c4e395dedbc707d997a74f73fd785f1a0a9150ffbad6e5b (4.49kB)
build-environment
SHA256:4621a77bf7a2e61bb2e05fc599d9d43904e62a5ee3241bb3a46056cd45a97e14 (348B)
opam-switch
SHA256:7401a562a17e4e4e9f9c7b9430b3716341f8fed5ad304be067da8d9e5d99e51b (144kB)

Reproduced by 0 builds

    Comparisons with other builds on the same platform


    ?