Job builder

Build 2026-10-17 10:28:31Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.5MB): SHA256:447c3152674e077a6be2a5853ee234f5efd0b8f69e6f4ced07aca7eaee4cb248
opam-switch (115kB): SHA256:1cbdb1e857ff8006e31e2e76b039db9e2a987747ece166af23d38537bfd9b76d
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.63kB): SHA256:2dfb033497831d0fd47f54e23af26187ed948c2015dfa21b9ebc887eb76cb2e6

Reproduced by 0 builds

Comparisons with other builds on the same platform

Earlier build with different output 2026-10-16 10:43:29Z

?