Job builder

Build 2026-06-25 10:15:02Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.5MB): SHA256:a752261b4c82813f99c84d90cea05373026e9395b6243e2a722e1b988f8976b0
opam-switch (110kB): SHA256:dc258fe202175738b7432fdf40db474d3e5500a53a02d60e0fa047c7171b71ff
build-environment (314B): SHA256:95ed1151de0fe848215f8b4cfe843d745f16e7734e3a4c1cab187547c30802e2
system-packages (4.31kB): SHA256:cd8c041e60bff91b699835fc85f0e25aa308ed765508cf92e2027ecc2cd5c03c

Reproduced by 0 builds

Comparisons with other builds on the same platform

Earlier build with different output 2026-06-24 10:18:25Z

?