Job builder-web

Build 2025-12-31 09:41:31Z

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

Build info

Console output -->

Build script -->

Build artifacts

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

Reproduced by 0 builds

Comparisons with other builds on the same platform

Latest build 2025-12-19 09:36:34Z

?