Job albatross

Build 2022-03-15 20:32:35Z

Built on platform debian-10

Build took 11min18s.

Execution result: exited 31.

Build info

Build artifacts

opam-switch
SHA256:b1fb1d75dd43d96f0a4c429073bcd6101fe31874b97a47211a4ebda26d783d11 (162kB)
build-environment
SHA256:d4e1c7a9ac070d1bb733613dac8bbf51eec8e40fea956941667a5cefcb07f7a9 (358B)
system-packages
SHA256:e3d8cc579bc945e39874360bf3bbb409d9d38e009f32dbff2ab5f1913f863791 (4.38kB)

Reproduced by 0 builds

    Comparisons with other builds on the same platform


    ?