Job builder

Build 2026-08-09 10:16:55Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.42MB): SHA256:51946397b6eac201761ba2ba52f1bfa3c9a61461ac1ceb99f93c06a17869ca94
opam-switch (115kB): SHA256:bd1cc2dda451306342cf81efe80a28a3ceb7b3bf8f547a60a9ef3c6012056657
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.62kB): SHA256:7eeed5a06ecd9d13f5ef469893c9ae61a12f6225948fb74067c768a94a31cccb

Reproduced by 1 builds

on debian-12, same input, 2026-08-08 10:33:17Z

Comparisons with other builds on the same platform

Earlier build with different output 2026-08-07 10:22:22Z

?