checks.x86_64-linux.pkgs-lean-ctx
build #6492
· raw
· eval 65 ms · 64.8 KiB allocated
· ‹ #6491
· #6493 ›
Succeeded (3)
3 built
setup
lean-ctx-3.10.5
check-lean-ctx
no output