Job builder

Build 2026-02-03 09:31:24Z

Platform	Duration	Execution Result
debian-13	5min12s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.42MB): SHA256:74ca925d8fc7b6d8d959b8b7c7eb21659710b48256cf078fba54875e22668350
opam-switch (112kB): SHA256:e128f36286baff54f0c5cfdbc5061e57206c9cd971b025f0b4078ceecf00b851
build-environment (314B): SHA256:95ed1151de0fe848215f8b4cfe843d745f16e7734e3a4c1cab187547c30802e2
system-packages (4.33kB): SHA256:6640fd8b788447b08910fe17c045cdf9323c8c4cfef97596994e94b9a24bcaba

Reproduced by 0 builds

Comparisons with other builds on the same platform

Earlier build with different output 2026-02-02 10:07:40Z

?