Job builder

Build 2026-11-10 10:32:17Z

Platform	Duration	Execution Result
debian-12	19min32s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.51MB): SHA256:7c12c6e70fa8d78a11ae2571c339a7941d22ba6cf4eed63d9cdd5dbb9c105f37
opam-switch (115kB): SHA256:62b5168e9668bef97ccccea7c4629e0d27ead815c985d09ab0001ca185014c46
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.66kB): SHA256:23ff3b8c5347b2c32fbcbb775d314f8aed3c5f14d81c8030faa562c3d164dcd0

Reproduced by 0 builds

Comparisons with other builds on the same platform

Earlier build with different output 2026-11-08 10:38:26Z

?