Job builder-web

Build 2025-11-05 09:13:00Z

Platform	Duration	Execution Result
debian-12	6min10s.	exited 31

Build info

Console output -->

Build script -->

Build artifacts

opam-switch (215kB): SHA256:93fc4af99128a6707b8977fc75b75c3ccec44c451c752b8d0b37ae73b445ed00
build-environment (318B): SHA256:27d9791e930cc77f17d2de2608bc39d26ecce9c811c9f3d3dd09eecf035b7553
system-packages (4.6kB): SHA256:2934bdc2c90810d57839066006737ddf5c714dd3e16917f33c0c5b790fddd16c

Reproduced by 0 builds

Comparisons with other builds on the same platform

Latest build 2025-09-18 09:20:15Z

?