Job builder

Build 2026-05-23 10:07:13Z

Platform	Duration	Execution Result
debian-12	5min8s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

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

Reproduced by 1 builds

on debian-12, different input, 2026-05-22 10:10:48Z

Comparisons with other builds on the same platform

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

?