Job builder-web

Build 2022-02-17 14:24:52Z

Built on platform debian-10

Build took 13min1s.

Execution result: exited 31.

Build info

Build artifacts

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

Reproduced by 0 builds

    Comparisons with other builds on the same platform


    ?