Job builder

Build 2026-09-25 10:39:15Z

Platform	Duration	Execution Result
debian-12	3min53s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.44MB): SHA256:7ce7c99b4d96fbf05de62c54a8fc1e888181c5966370da06d712e07526a646cb
opam-switch (115kB): SHA256:9ca7199efb24240d8f6f0d7ba89de0947b5ea57e3911c8827d9e62dc5f354e37
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.63kB): SHA256:b96439affffde3d52a9b2f88c2ce3c9d67ca49bed435e30ad75f6c1613f3be4e

Reproduced by 0 builds

Comparisons with other builds on the same platform

Earlier build with different output 2026-09-24 10:29:02Z

?