Job builder

Build 2026-09-25 10:46:07Z

Platform	Duration	Execution Result
debian-13	3min25s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.47MB): SHA256:aebc87907f300a87345a75f437603989933c312e7b9f0fb2061aa82139112730
opam-switch (115kB): SHA256:9ca7199efb24240d8f6f0d7ba89de0947b5ea57e3911c8827d9e62dc5f354e37
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-22 10:53:31Z

?