Job builder-web

Build 2026-02-12 10:01:46Z

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

Build info

Console output -->

Build script -->

Build artifacts

opam-switch (218kB): SHA256:361d75e7af717113d6d53d89dd1f992cbd4d73d36c097c16869ce347c6825a3e
build-environment (318B): SHA256:27d9791e930cc77f17d2de2608bc39d26ecce9c811c9f3d3dd09eecf035b7553
system-packages (4.6kB): SHA256:8de7946cdd1bcb2370cdfd42b6296823e95146cafbf57256980dde7cf1febd7e

Reproduced by 0 builds

Comparisons with other builds on the same platform

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

?