Job builder

Build 2026-06-17 10:14:02Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.47MB): SHA256:ae07c8eb5a7d9ebcb644066af83e2db91052213b8d32692772053f4d8663383b
opam-switch (110kB): SHA256:31e33e9b4dcba81fb95d930522955eff8c9d38ff34e3a3bac615dedbb448a977
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.46kB): SHA256:dd3f42c491c18ccd3def97541ec337cb40624f8a6c9b3e08f6a00fc5fbaa7c05

Reproduced by 0 builds

Comparisons with other builds on the same platform

Latest build 2026-07-06 10:22:25Z
Later build with different output 2026-06-18 10:18:45Z
Earlier build with different output 2026-06-15 10:18:13Z

?