checks.aarch64-darwin.pkgs-lean-ctx
build #5741
· raw
· eval 83 ms · 80.7 KiB allocated
· ‹ #5740
· #5742 ›
Succeeded (6)
6 built
setup
source
lean-ctx-3.10.4-vendor-staging
lean-ctx-3.10.4-vendor
lean-ctx-3.10.4
check-lean-ctx
no output