Job builder

Build 2023-11-20 12:38:33Z

Built on platform ubuntu-18.04

Build took 7min10s.

Execution result: exited 0.

Build info

Build artifacts

bin/builder.deb
SHA256:d31fe5108901d977cba041146891ef3b9e48fd2343e6786f22caa027fb0a5f77 (7.29MB)
system-packages
SHA256:8bb92e71ba948a9b5ecda4cbfbffbe436c21d61f9aff9241047b912101161fd8 (5.57kB)
build-environment
SHA256:ea3e1937497133c1488d57dbac2397fe6bfe7a2828262fadca10d2ac7988cf21 (349B)
opam-switch
SHA256:e7dcf8e1432838a3f6ce5c281ee0064ee48f445bcbd9376cea6ba2261a030a68 (115kB)

Reproduced by 0 builds

    Comparisons with other builds on the same platform


    ?