Job builder

Build 2021-09-09 12:58:24Z

Built on platform debian-10

Build took 9min3s.

Execution result: exited 0.

Build info

Build artifacts

bin/builder.deb
SHA256:d8c5d4541216a5d7a6383763d32e8ed5bb9e6105623b5eaadb739def23c78461 (6.97MB)
opam-switch
SHA256:fc1fd20151454b5d1fdbb043245672debceb09d0cc6cf795690e5d2c3bde30e6 (134kB)
build-environment
SHA256:2a4d625126abebe651953e513fcb6ea7408f87799120b6bda97e69fc61deff45 (229B)
system-packages
SHA256:61331cab7c42685bbaf016107c04eb06c8165cf25de23acf4ce88cf7e16ca0fa (3.74kB)

Reproduced by 0 builds

    Comparisons with other builds on the same platform


    ?