Job builder-web

Build 2022-03-03 12:45:26Z

Built on platform debian-10

Build took 10min34s.

Execution result: exited 31.

Build info

Build artifacts

opam-switch
SHA256:899dbbc0de29cf0c6a9d3d6c743d3a989b81de697e2df1a40daf005ecc19985f (240kB)
build-environment
SHA256:f843d6d0f5bd6ac9ac837080fcb4102311332e06d325dc8ca0cfe7cbd9f51241 (360B)
system-packages
SHA256:ee50144becbd7a2901b6c9d48de3669d1c3086577fad3ca44e049c128f306777 (4.41kB)

Reproduced by 0 builds

    Comparisons with other builds on the same platform


    ?