Job builder-web

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

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

Build info

Console output -->

Build script -->

Build artifacts

system-packages (4.67kB): SHA256:456dd0c3ceedf9974019c1943e62ee29dfd9b80a56fafe043cf0c4227df40110
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-09-14 09:34:56Z

?