Job builder-web

Build 2025-11-17 09:15:22Z

Platform	Duration	Execution Result
debian-13	6min10s.	exited 31

Build info

Console output -->

Build script -->

Build artifacts

opam-switch (216kB): SHA256:c0dd90fc84b0a5cd86106069c2a4905f246cdb0b7a9492fbec809a8782e6e301
build-environment (318B): SHA256:71d3132d8dcf4974090d701d3287671a05f5b3d8112878d335fcb7bfddac881b
system-packages (4.31kB): SHA256:9a721b3a48b5e6b203ddbf7f7bc59ba90d351039c935651c193b8bafade3a380

Reproduced by 0 builds

Comparisons with other builds on the same platform

?