Job builder-web

Build 2022-06-23 11:46:53Z

Built on platform debian-10

Build took 14min16s.

Execution result: exited 31.

Build info

Build artifacts

opam-switch
SHA256:4c72900546f8aa1041f9288b24ed37021505896bb9147f143eae720b9bf2d61b (245kB)
build-environment
SHA256:f843d6d0f5bd6ac9ac837080fcb4102311332e06d325dc8ca0cfe7cbd9f51241 (360B)
system-packages
SHA256:a4e90a85cbe0ab7084dba7c87fd10300d215954e77c91c1d9b76c6e039adb289 (4.46kB)

Reproduced by 0 builds

    Comparisons with other builds on the same platform


    ?