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

succeeded `checks.aarch64-linux.pkgs-lean-ctx` build #7296 · raw · eval 0 ms · 51.6 KiB allocated · ‹ #7295 · #7297 ›

6 built

setup built · 0.0s · open ↗ · raw ↗

source built · 9.5s · open ↗ · raw ↗

lean-ctx-3.11.4-vendor-staging built · 15.1s · open ↗ · raw ↗

lean-ctx-3.11.4-vendor built · 26.7s · open ↗ · raw ↗

lean-ctx-3.11.4 built · 604.3s · open ↗ · raw ↗

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