Job builder-web

Build 2025-11-27 09:23:39Z

Platform	Duration	Execution Result
debian-12	8min14s.	exited 31

Build info

Console output -->

Build script -->

Build artifacts

opam-switch (216kB): SHA256:e52a3a6f3234654c12f68d9c496eb5cfc3281b9e872cd933167aac5b8ced7bb9
build-environment (318B): SHA256:27d9791e930cc77f17d2de2608bc39d26ecce9c811c9f3d3dd09eecf035b7553
system-packages (4.6kB): SHA256:bc160cc30ead3a273211fad2651b72f6d3221df00753e67357a720a1bbc34e84

Reproduced by 0 builds

Comparisons with other builds on the same platform

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

?