Job builder

Build 2026-08-04 10:24:33Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.43MB): SHA256:f40ea3f3153241f69856d760a818ddf7767e8ac587c8d9586bb06549d711e666
opam-switch (115kB): SHA256:fa68f9dd25e70345830ccd3b35e7f4808e560a9e883771480f3045184d01c9d1
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.54kB): SHA256:2a01202a9ebfa97248114443ff9dc6f7bf6815ce939f09eb6433c8a822ebabed

Reproduced by 1 builds

on debian-12, different input, 2026-08-03 10:15:52Z

Comparisons with other builds on the same platform

Earlier build with different output 2026-07-28 10:21:39Z

?