Job albatross

Build 2022-02-25 11:32:21Z

Built on platform debian-10

Build took 9min5s.

Execution result: exited 31.

Build info

Build artifacts

opam-switch
SHA256:5c939aa9c942fc2f353223d6d55b7b1a9759169a8d5cd53af85b3aee9300d120 (162kB)
build-environment
SHA256:d4e1c7a9ac070d1bb733613dac8bbf51eec8e40fea956941667a5cefcb07f7a9 (358B)
system-packages
SHA256:c3923b0d126631c8fffff2469930f00ef0b34b8aab338f7f8732a7cf465e4acb (3.84kB)

Reproduced by 0 builds

    Comparisons with other builds on the same platform


    ?