Job builder

Build 2026-07-06 10:22:23Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.5MB): SHA256:48e213fdb4d4e215f691b0f8b8fb67cd84e664c0261d428cb35255b61c5cadec
opam-switch (110kB): SHA256:9fa8503519792806ba3c0150b9a82fd06db754bea712da826fc6db97937f9bac
build-environment (314B): SHA256:95ed1151de0fe848215f8b4cfe843d745f16e7734e3a4c1cab187547c30802e2
system-packages (4.32kB): SHA256:03af85bad3eaca3dee960c6413d08039b352634d1aa225a25372b905619c607f

Reproduced by 1 builds

on debian-13, different input, 2026-07-05 12:32:23Z

Comparisons with other builds on the same platform

Earlier build with different output 2026-07-01 21:00:13Z

?