Job builder

Build 2026-09-13 10:39:18Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.44MB): SHA256:0ec98526a93f35a5237f5b03c09914221ae22d5336bea57e35730f5d04fd9f20
opam-switch (115kB): SHA256:b2c6e11dddc273ec112ec400105f278038a9337f79948bc227d2667cc6dfd05f
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.63kB): SHA256:44623dc10eda066962b852e4df26995877dc7929e04ea9e0c16bd4b5937ed6dc

Reproduced by 0 builds

Comparisons with other builds on the same platform

Earlier build with different output 2026-09-11 10:21:59Z

?