Job builder-web

Build 2026-01-12 09:40:55Z

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

Build info

Console output -->

Build script -->

Build artifacts

opam-switch (219kB): SHA256:ee69ad3eb3521a3d341b68d604baefeadd15f07654d31a59576237f4d8c91bbb
build-environment (318B): SHA256:27d9791e930cc77f17d2de2608bc39d26ecce9c811c9f3d3dd09eecf035b7553
system-packages (4.6kB): SHA256:1ee5e7e8622516222694661d3e16139d75d2f2220e9844976085c9ba647e32b3

Reproduced by 0 builds

Comparisons with other builds on the same platform

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

?