Job builder

Build 2025-01-20 09:25:41Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.32MB): SHA256:91a549c1b8a8cab509fa51328e08a42a3dd519ca08bb1a82fd64d181fa5cd824
system-packages (4.38kB): SHA256:3a2bf0b0906c13e9ed4052140648315e4b2f58c52486e259b9f152fa4ba5d002
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
opam-switch (115kB): SHA256:ab225cec220c37c44a603f3d296779f86899760340af10952a296347bebe7d1d

Reproduced by 0 builds

Comparisons with other builds on the same platform

Latest build 2025-06-24 09:01:46Z
Later build with different output 2025-01-21 09:12:44Z
Earlier build with different output 2025-01-13 18:44:01Z

?