nixbot

builds
sign in

checks.aarch64-darwin.pkgs-lean-ctx build #10861 · raw · eval 0 ms · 62.4 KiB allocated · ·

Failures (1)

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

Succeeded (1)

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