checks.aarch64-darwin.pkgs-lean-ctx
build #5657
· raw
· eval 99 ms · 69.0 KiB allocated
· ‹ #5656
· #5658 ›
Succeeded (6)
6 built
setup
source
lean-ctx-3.10.3-vendor-staging
lean-ctx-3.10.3-vendor
lean-ctx-3.10.3
check-lean-ctx
no output