Job builder

Build 2022-05-13 18:45:27Z

Built on platform debian-10

Build took 14min2s.

Execution result: exited 0.

Build info

Build artifacts

bin/builder.deb
SHA256:490c8ecb0456ca7138f6f6a979e01607aa20b4246e05e23e6992c8855a07fe3c (7.15MB)
build-environment
SHA256:e799cc397da848793e65e52ea0268d0d71179300227e5de44ff84531f117cb31 (356B)
opam-switch
SHA256:cc3534d7cdc0c07929197be4ff55a8a9f8140e243043a41fd55d4b6f492a1f46 (153kB)
system-packages
SHA256:7ea607d9d70f05d6bb332b45ab327c6181e5ee1e18dab7e492faf1925645c4ae (4.34kB)

Reproduced by 19 builds

Comparisons with other builds on the same platform


?