Job builder

Build 2026-07-07 10:17:17Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.47MB): SHA256:bd5526224d159c0103b597400b2734dfe5ed7c77836da268cb6e1fd4d67983ef
opam-switch (110kB): SHA256:9fa8503519792806ba3c0150b9a82fd06db754bea712da826fc6db97937f9bac
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.45kB): SHA256:83bfb0a47815a32d537c14fc88230cbeeb545181479d080ba81b61659f7aadfa

Reproduced by 3 builds

on debian-12, same input, 2026-07-08 10:17:49Z
on debian-12, different input, 2026-07-06 10:22:25Z
on debian-12, different input, 2026-07-03 10:20:57Z

Comparisons with other builds on the same platform

Latest build 2026-07-09 10:21:36Z
Later build with different output 2026-07-09 10:21:36Z
Earlier build with different output 2026-07-01 20:52:29Z

?