Job builder

Build 2026-09-24 10:29:02Z

Platform	Duration	Execution Result
debian-12	4min7s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.44MB): SHA256:d212ececaa9af1728b5d134e9e51cb9dfccc7be9874ad1090b03d06b456853ea
opam-switch (115kB): SHA256:be2b215e146964d810c2287ae82d5ba7aae788d4b64d3a55714787b51c765d72
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-22 10:54:16Z

?