Job builder

Build 2026-11-08 10:38:26Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.51MB): SHA256:53ac064ec6a522390b485347342427af856ce7386babed0622dd4f8b7ca54e55
opam-switch (115kB): SHA256:4354e1916aff81f94ccd72d36bc997fa8936ec32d530debeca80f28492d5bc17
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-07 10:31:56Z

?