nixbot

builds
sign in

checks.aarch64-linux.pkgs-lean-ctx build #10740 · raw · eval 0 ms · 50.6 KiB allocated · ·

Succeeded (3)

3 built
setup built · 0.0s · open ↗ · raw ↗
lean-ctx-3.12.3 built · 1222.4s · open ↗ · raw ↗
check-lean-ctx built · 4.3s · open ↗ · raw ↗