Job builder-web

Build 2022-05-13 11:46:21Z

Built on platform debian-10

Build took 15min11s.

Execution result: exited 31.

Build info

Build artifacts

opam-switch
SHA256:b263653100c6eb70dfee584bc0d84bec99828e06a05dbe1bcccc57f85bdafd86 (242kB)
build-environment
SHA256:f843d6d0f5bd6ac9ac837080fcb4102311332e06d325dc8ca0cfe7cbd9f51241 (360B)
system-packages
SHA256:b92fb9cc0d5b09d6327b4fb8b35f21f265f6208f4b45f53989476967bb7ef6cb (4.46kB)

Reproduced by 0 builds

    Comparisons with other builds on the same platform


    ?