Job builder-web

Build 2022-02-16 11:45:14Z

Built on platform debian-10

Build took 13min30s.

Execution result: exited 31.

Build info

Build artifacts

opam-switch
SHA256:8cca63dc0225c3c6af2f93d42497dfaf64df18960b69bf1cbcce1aaf855bd3e2 (248kB)
build-environment
SHA256:f843d6d0f5bd6ac9ac837080fcb4102311332e06d325dc8ca0cfe7cbd9f51241 (360B)
system-packages
SHA256:c692a7813218ab82c7073e7189da9331463ce86f9a96bd16cea285826c272a2b (3.87kB)

Reproduced by 0 builds

    Comparisons with other builds on the same platform


    ?