Job builder-web

Build 2025-09-26 09:21:11Z

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

Build info

Console output -->

Build script -->

Build artifacts

opam-switch (214kB): SHA256:f3da4b9d89e87704f274e7ca55f47b368d8d61ec586b94b659e9fd994c42bf25
build-environment (318B): SHA256:27d9791e930cc77f17d2de2608bc39d26ecce9c811c9f3d3dd09eecf035b7553
system-packages (4.6kB): SHA256:8db169af36e6dbe26afd47f4e3eebef9a32df46e005cb230d9c1aed8c29279b5

Reproduced by 0 builds

Comparisons with other builds on the same platform

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

?