Job builder

Build 2026-08-18 10:18:21Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.42MB): SHA256:54680251ba0cb8554476dc5f6c57cdbd53c67f30819ee4f08e5af73391fbcec7
opam-switch (115kB): SHA256:c3a14cea98bdc415b074434304fc095b41fdb743195028a6f088ebbc7b071d77
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.63kB): SHA256:eb1e99e358c671aea32fcb836ec9ac69e0e4c35299c46499d9591b28dfa8ef91

Reproduced by 3 builds

on debian-12, same input, 2026-08-20 10:35:24Z
on debian-12, same input, 2026-08-19 10:24:15Z
on debian-12, same input, 2026-08-17 10:34:35Z

Comparisons with other builds on the same platform

Latest build 2026-08-20 10:35:24Z
Earlier build with different output 2026-08-16 10:23:58Z

?