Job builder-web

Build 2026-05-03 10:00:22Z

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

Build info

Console output -->

Build script -->

Build artifacts

opam-switch (230kB): SHA256:9aa24edf4d97c8e0f137e4c45319b69cb4b8dd6732fb022203a8c99f31a26662
build-environment (318B): SHA256:27d9791e930cc77f17d2de2608bc39d26ecce9c811c9f3d3dd09eecf035b7553
system-packages (4.6kB): SHA256:4020d06f41cfc137b1f77a44e363f39c3324629fc3f8af69c90338fca25549fa

Reproduced by 0 builds

Comparisons with other builds on the same platform

Latest build 2026-05-13 09:54:15Z

?