Job builder-web

Build 2025-12-21 09:30:04Z

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

Build info

Console output -->

Build script -->

Build artifacts

opam-switch (218kB): SHA256:4fdd706d86847d7b5eb52b237f9b391080fa1c6c31f329add743ff2bee7dc071
build-environment (318B): SHA256:71d3132d8dcf4974090d701d3287671a05f5b3d8112878d335fcb7bfddac881b
system-packages (4.31kB): SHA256:5e67c7f39650fcfa726e7200ed8d79d9abebe7b86c4aa1318e2de7d17b528229

Reproduced by 0 builds

Comparisons with other builds on the same platform

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

?