Job builder

Build 2026-11-08 10:40:11Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.53MB): SHA256:11c432f2feb606c2d2e74ba0a049ade839e13a94c2cfc433d51303adc68ac991
opam-switch (115kB): SHA256:4354e1916aff81f94ccd72d36bc997fa8936ec32d530debeca80f28492d5bc17
build-environment (314B): SHA256:95ed1151de0fe848215f8b4cfe843d745f16e7734e3a4c1cab187547c30802e2
system-packages (4.61kB): SHA256:06582452dc4b452bcbd2527a73b16360c7bb9e34af8fb692071e4c98a6ce9070

Reproduced by 0 builds

Comparisons with other builds on the same platform

Earlier build with different output 2026-11-07 10:31:56Z

?