nixbot

builds
sign in

checks.aarch64-linux.pkgs-lean-ctx build #5092 · raw · eval 3 ms · 48.9 KiB allocated · ·

Succeeded (2)

2 built
setup built · 0.0s · open ↗ · raw ↗
check-lean-ctx built · 58.0s · open ↗ · raw ↗