Job builder

Build 2023-02-14 14:52:02Z

Built on platform ubuntu-18.04

Build took 8min26s.

Execution result: exited 0.

Build info

Build artifacts

bin/builder.deb
SHA256:2cbfbfbe694c5d679d3767439828dbe630033225dad7a520b7c048060bfe3651 (7.3MB)
system-packages
SHA256:8071a3e2b05357308dfb6577f363d8ae684a61dde85b4f18f313e724c962b401 (5.6kB)
build-environment
SHA256:ea3e1937497133c1488d57dbac2397fe6bfe7a2828262fadca10d2ac7988cf21 (349B)
opam-switch
SHA256:4403212bec8a96255004d03b9e6a4424bb08782ce0bcb9764cbae6c456b4c750 (157kB)

Reproduced by 0 builds

    Comparisons with other builds on the same platform


    ?