nixbot

builds
sign in

aarch64-linux.pkgs-lean-ctx build #2817 · raw · ·

Failures (1)

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

Succeeded (1)

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