Job builder-web

Build 2024-08-08 14:10:42Z

Platform	Duration	Execution Result
debian-11	6min41s.	exited 31

Build info

Console output -->

Build script -->

Build artifacts

system-packages (4.66kB): SHA256:f32a6651bc90c5717c9df433f576d388e937f452c6c1e8059ce6e4c33ddd4588
build-environment (318B): SHA256:bd34ae8db8933ff8b4a9018e43c5a2f08f5ca8533a9606a58966738635bed7ea
opam-switch (210kB): SHA256:17bb50045398ad5cd6e4ab3b0ee230764dbb5e73e6560a51d7c6ace1f35f4645

Reproduced by 0 builds

Comparisons with other builds on the same platform

Latest build 2025-06-30 09:20:08Z

?