nixbot

builds
sign in

checks.aarch64-linux.pkgs-lean-ctx build #6434 · raw · eval 2 ms · 60.7 KiB allocated · ·

Failures (1)

lean-ctx-3.10.5 failed · open ↗ · raw ↗

Succeeded (1)

1 built
setup built · 1380.0s · open ↗ · raw ↗