checks.x86_64-linux.pkgs-lean-ctx
build #8449
· raw
· eval 0 ms · 52.0 KiB allocated
· ‹ #8448
· #8450 ›
Succeeded (3)
3 built
setup
lean-ctx-3.11.4
check-lean-ctx
no output