Job builder-web

Build 2026-02-01 09:31:06Z

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

Build info

Console output -->

Build script -->

Build artifacts

opam-switch (222kB): SHA256:082069dad10398c1ac9046f4ce5d8d124b3a4cdebb2088034124f0a08cd81c5c
build-environment (318B): SHA256:27d9791e930cc77f17d2de2608bc39d26ecce9c811c9f3d3dd09eecf035b7553
system-packages (4.6kB): SHA256:e63cafb03e8748baf97e024a41e84af37161f502c38df2f167b6af17062636be

Reproduced by 0 builds

Comparisons with other builds on the same platform

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

?