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

succeeded `checks.x86_64-linux.pkgs-lean-ctx` build #10030 · raw · eval 0 ms · 44.2 KiB allocated · ‹ #10029 · #10031 ›

6 built

setup built · 0.0s · open ↗ · raw ↗

source built · 15.6s · open ↗ · raw ↗

lean-ctx-3.12.2-vendor-staging built · 15.4s · open ↗ · raw ↗

lean-ctx-3.12.2-vendor built · 18.4s · open ↗ · raw ↗

lean-ctx-3.12.2 built · 647.9s · open ↗ · raw ↗

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