Job builder-web

Build 2025-10-22 09:31:51Z

Platform	Duration	Execution Result
debian-13	7min51s.	exited 31

Build info

Console output -->

Build script -->

Build artifacts

opam-switch (214kB): SHA256:b4c64dc9f88e87506c77a8a35e2c748dba763cace411b0ec3de45278a40b6fb6
build-environment (318B): SHA256:71d3132d8dcf4974090d701d3287671a05f5b3d8112878d335fcb7bfddac881b
system-packages (4.3kB): SHA256:9a76bd2d25a4698a391660b550b68942c72bad4987f3c05a14ef3f01c4e6bdf5

Reproduced by 0 builds

Comparisons with other builds on the same platform

?