Job builder

Build 2025-08-28 09:48:02Z

Platform	Duration	Execution Result
debian-12	3min42s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.31MB): SHA256:fee77f8b472bcc811441ddee058aff28cda11e0760553588e4c8a71708ee40a5
system-packages (4.54kB): SHA256:11d712ec41b66a560b1c59de1cb663229f5a15318e5dfcb88ccf046a03c281a1
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
opam-switch (111kB): SHA256:a16f7767666f43b45baddfe96ce135fefa8efc2e2460e8711cdbcd87a4a12e3c

Reproduced by 0 builds

Comparisons with other builds on the same platform

Earlier build with different output 2025-08-27 09:29:57Z

?