Job builder-web

Build 2026-02-14 09:53:10Z

Platform	Duration	Execution Result
debian-13	8min19s.	exited 31

Build info

Console output -->

Build script -->

Build artifacts

opam-switch (218kB): SHA256:4c7cffe04745935e52d12a9431eb964f78b4bd01e549d0368c2f9989070bc468
build-environment (318B): SHA256:71d3132d8dcf4974090d701d3287671a05f5b3d8112878d335fcb7bfddac881b
system-packages (4.35kB): SHA256:a7b231003c9064b198767c3848a2e96974547849c549c9b404ebd77de6df3681

Reproduced by 0 builds

Comparisons with other builds on the same platform

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

?