Job builder-web

Build 2026-07-06 10:09:43Z

Platform	Duration	Execution Result
debian-12	7min48s.	exited 31

Build info

Console output -->

Build script -->

Build artifacts

opam-switch (236kB): SHA256:ba6c5bb3aa1323832079df39b132c0ca761e96168064e9b3f8c3a68e618d96c3
build-environment (318B): SHA256:27d9791e930cc77f17d2de2608bc39d26ecce9c811c9f3d3dd09eecf035b7553
system-packages (4.6kB): SHA256:399ccec237994c48055793f236dcb65b78a7e53ed80e7fce7d80e29de651e2e3

Reproduced by 0 builds

Comparisons with other builds on the same platform

Latest build 2026-07-07 10:15:39Z

?