Job builder

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

Platform	Duration	Execution Result
debian-13	4min29s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.47MB): SHA256:1c42d315cb1b3c6c8a80ed5d83eaa140a03b8a125fddd2065c16d08adf8b030f
opam-switch (115kB): SHA256:b2c6e11dddc273ec112ec400105f278038a9337f79948bc227d2667cc6dfd05f
build-environment (314B): SHA256:95ed1151de0fe848215f8b4cfe843d745f16e7734e3a4c1cab187547c30802e2
system-packages (4.58kB): SHA256:92e1593dab0163be1496c329b4f1c77e88d00f041db2efb9d8e91b81067bf84f

Reproduced by 0 builds

Comparisons with other builds on the same platform

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

?