Job albatross

Build 2022-01-31 18:31:13Z

Built on platform debian-10

Build took 11min40s.

Execution result: exited 31.

Build info

Build artifacts

opam-switch
SHA256:619f930bb4eb4c6c06cf86615539fc4ffea2c3c1b7580d04535b0538148019b3 (162kB)
build-environment
SHA256:d4e1c7a9ac070d1bb733613dac8bbf51eec8e40fea956941667a5cefcb07f7a9 (358B)
system-packages
SHA256:e14cc96d0571a2132e7e8a5d8ecbaf9bacbb678191845d3a1eeab89dbce77cad (3.84kB)

Reproduced by 0 builds

    Comparisons with other builds on the same platform


    ?