Job builder

Build 2024-08-29 14:05:16Z

Platform	Duration	Execution Result
debian-12	4min57s.	exited 31

Build info

Console output -->

Build script -->

Build artifacts

system-packages (4.36kB): SHA256:6fc6f31c9998d036d42ebff73a1f6653cff4105c763721861dbe1e2eaa9545b1
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
opam-switch (114kB): SHA256:6af8288c3248a720fdf5c6993ea2853d39fe033afcbc9ffb8e98fe4700d258db

Reproduced by 0 builds

Comparisons with other builds on the same platform

Latest build 2025-06-25 09:11:14Z

?