Job builder

Build 2026-07-28 10:21:39Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.42MB): SHA256:acd0334f70ed6c6cab95b361f10ac8aa1c640d5f53e2f4c027d923363af6f975
opam-switch (115kB): SHA256:0853b2c611844209dcf98f1d77060d7420ac876fd4be209915f67fc9a9d285f0
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.54kB): SHA256:2a01202a9ebfa97248114443ff9dc6f7bf6815ce939f09eb6433c8a822ebabed

Reproduced by 0 builds

Comparisons with other builds on the same platform

Latest build 2026-08-13 10:23:32Z
Later build with different output 2026-07-29 10:23:27Z
Earlier build with different output 2026-07-27 10:26:26Z

?