nixbot

builds

succeeded checks.aarch64-linux.pkgs-hol-guard build #10090 · raw · eval 105 ms · 10.1 MiB allocated · ·

Succeeded (3)

3 built
setup built · 84.2s · open ↗ · raw ↗
hol-guard-3.38.0 built · 62.3s · open ↗ · raw ↗
check-hol-guard built · 2.2s · open ↗ · raw ↗