Job builder

Build 2026-05-21 10:05:09Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.42MB): SHA256:d70bfc0bce91e391d5da57303c950c3adae1445cf716dbce2c0f229a8f209da7
opam-switch (112kB): SHA256:238274eccbcfce3381a3dccd3efa8641bb535f466ea1267ef14a3cfec830c08d
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.54kB): SHA256:c98e9916ebeca779b38c94c4d8bb537143f87ae5358be7f97efdd19cb4e143a1

Reproduced by 0 builds

Comparisons with other builds on the same platform

Earlier build with different output 2026-05-20 10:05:07Z

?