Job builder

Build 2026-05-21 10:05:08Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.46MB): SHA256:dca4857ac362be1409021af3ff3a7c5d2cd119939fb738beb1d7b465451f4d11
opam-switch (112kB): SHA256:238274eccbcfce3381a3dccd3efa8641bb535f466ea1267ef14a3cfec830c08d
build-environment (314B): SHA256:95ed1151de0fe848215f8b4cfe843d745f16e7734e3a4c1cab187547c30802e2
system-packages (4.35kB): SHA256:0fc35439800f77191cec8d34790a23d0ef00e48876cf9fb0b1207127f718cd1f

Reproduced by 0 builds

Comparisons with other builds on the same platform

Earlier build with different output 2026-05-20 10:05:11Z

?