Job builder-web

Build 2024-08-10 14:04:02Z

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

Build info

Console output -->

Build script -->

Build artifacts

system-packages (4.47kB): SHA256:4a9f804bdd70f42947e78f0931300073148043b18a44ace0ed2e6421c26c9472
build-environment (318B): SHA256:27d9791e930cc77f17d2de2608bc39d26ecce9c811c9f3d3dd09eecf035b7553
opam-switch (210kB): SHA256:17bb50045398ad5cd6e4ab3b0ee230764dbb5e73e6560a51d7c6ace1f35f4645

Reproduced by 0 builds

Comparisons with other builds on the same platform

Latest build 2025-07-30 09:32:19Z

?