Job builder-web

Build 2026-07-09 10:09:58Z

Platform	Duration	Execution Result
debian-12	8min40s.	exited 31

Build info

Console output -->

Build script -->

Build artifacts

opam-switch (237kB): SHA256:9239aea0c3ac31d87d16b71d84bcf0caa3bbcacd99a98094faf02f611bb1c7d7
build-environment (318B): SHA256:27d9791e930cc77f17d2de2608bc39d26ecce9c811c9f3d3dd09eecf035b7553
system-packages (4.59kB): SHA256:e1e8002c012b8ba74ec1861f2c824876cd711b897981cfc4d7d0b567958552fa

Reproduced by 0 builds

Comparisons with other builds on the same platform

Latest build 2026-07-12 10:11:10Z

?