Job builder

Build 2026-10-16 10:43:29Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.51MB): SHA256:ba52e1fde4d12cb8c0985d95f79f35f0d4129a23a0c000fd0046da25cda9b77c
opam-switch (115kB): SHA256:786e02f48cf0a3fc46bfd0f0785f45414daf8edffed875ae849f9d5b7811e161
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-15 10:34:38Z

?