checks.aarch64-darwin.pkgs-lean-ctx log

succeeded `checks.aarch64-darwin.pkgs-lean-ctx` build #7199 · raw · eval 111 ms · 69.0 KiB allocated · ‹ #7198 · #7200 ›

6 built

setup built · 0.0s · open ↗ · raw ↗

source built · 18.3s · open ↗ · raw ↗

lean-ctx-3.11.2-vendor-staging built · 19.6s · open ↗ · raw ↗

lean-ctx-3.11.2-vendor built · 46.3s · open ↗ · raw ↗

lean-ctx-3.11.2 built · 452.6s · open ↗ · raw ↗

check-lean-ctx built · 2.1s · open ↗ · raw ↗