Job builder

Build 2026-08-27 10:19:57Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.43MB): SHA256:ed890cfe2c184a2b814a41be1a9640d2d771d1b4c32282f19df54aed06250e3d
opam-switch (115kB): SHA256:ef0e9ba621f2fd429985879f717d591919ef6694696a62c5762b6b4e5e0b68c7
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.64kB): SHA256:ada83bd6f4bfd3a9ba1f6b634e305399f95e0a5117c9a34597de3cf34f657897

Reproduced by 0 builds

Comparisons with other builds on the same platform

Earlier build with different output 2026-08-26 10:36:51Z

?