checks.aarch64-darwin.pkgs-lean-ctx
build #6492
· raw
· eval 88 ms · 69.0 KiB allocated
· ‹ #6491
· #6493 ›
Succeeded (3)
3 built
setup
lean-ctx-3.10.5
check-lean-ctx
no output