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

succeeded `checks.x86_64-linux.pkgs-lean-ctx` build #9970 · raw · eval 0 ms · 44.0 KiB allocated · ‹ #9969 · #9971 ›

6 built

setup built · 0.0s · open ↗ · raw ↗

source built · 5.4s · open ↗ · raw ↗

lean-ctx-3.12.1-vendor-staging built · 10.6s · open ↗ · raw ↗

lean-ctx-3.12.1-vendor built · 20.0s · open ↗ · raw ↗

lean-ctx-3.12.1 built · 623.0s · open ↗ · raw ↗

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