Job builder

Build 2026-09-26 10:25:37Z

Platform	Duration	Execution Result
debian-12	4min30s.	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:ecce08141b58591b40e8d5e10a54a61fc4680e269a639cb5bd29300b3db5a788

Reproduced by 1 builds

on debian-12, different input, 2026-09-25 10:39:15Z

Comparisons with other builds on the same platform

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

?