Job builder-debian-10

Build 2021-10-13 13:51:12Z

Built on platform debian-10

Build took 9min3s.

Execution result: exited 0.

Build info

Build artifacts

bin/builder.deb
SHA256:d93bf9011fd491117695f0e285d9734bd1258f64a15fe3be3b41efed2230b4ac (7.08MB)
opam-switch
SHA256:3e337c57f726cc421e8e9f90d91c60adf90e8073dead638dac00c967e57380c3 (136kB)
build-environment
SHA256:2a4d625126abebe651953e513fcb6ea7408f87799120b6bda97e69fc61deff45 (229B)
system-packages
SHA256:156ea88adaf5a9fa785b64f6b371f962b059a1066d9ec7df59114f046ce67df4 (3.74kB)

Reproduced by 7 builds

Comparisons with other builds on the same platform


?