Job builder

Build 2026-06-11 10:12:57Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.42MB): SHA256:d70bfc0bce91e391d5da57303c950c3adae1445cf716dbce2c0f229a8f209da7
opam-switch (112kB): SHA256:5db77bd3afe61a6410b970c858ae55a23d3a8bc2064a549dc49768c811652855
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.54kB): SHA256:04cbd6ccd01ba18d3496c4bb2b8d920a8767c124e34f52a9562d52e171fc47a6

Reproduced by 6 builds

on debian-12, same input, 2026-06-12 10:17:44Z
on debian-12, same input, 2026-06-10 10:12:46Z
on debian-12, different input, 2026-06-09 10:17:08Z
on debian-12, different input, 2026-06-02 10:11:33Z
on debian-12, different input, 2026-05-28 10:13:50Z
on debian-12, different input, 2026-05-22 10:10:48Z

Comparisons with other builds on the same platform

Latest build 2026-06-12 10:17:44Z
Earlier build with different output 2026-05-20 10:05:07Z

?