Job builder

Build 2023-02-12 20:00:31Z

Built on platform ubuntu-20.04

Build took 6min25s.

Execution result: exited 0.

Build info

Build artifacts

bin/builder.deb
SHA256:914b8b87571f197885fcba478b8e0bd7f7c6d65903bc3f6cf7ceead102efe759 (7.94MB)
opam-switch
SHA256:11c32eca89d6ff8b7e7a831dd5be38309e09e71286eaa4bffabb0fbec3a60418 (157kB)
system-packages
SHA256:929e5e0360ee12d50e23aa30b8b9a8f743e0e1194485d42a1923c0e83e18b08d (5.58kB)
build-environment
SHA256:0c2b94a6e94d50315111cd89e38e2513882e714c4bb90ab65169ce6195492a2d (349B)

Reproduced by 5 builds

Comparisons with other builds on the same platform


?