checks.aarch64-darwin.pkgs-lean-ctx
build #6224
· raw
· eval 94 ms · 69.7 KiB allocated
· ‹ #6223
· #6225 ›
Succeeded (4)
4 built
setup
lean-ctx-3.10.2-vendor
lean-ctx-3.10.2
check-lean-ctx
no output