nixbot

builds

succeeded checks.aarch64-darwin.pkgs-hol-guard build #5080 · raw · eval 1.0 s · 13.7 MiB allocated · ·

Succeeded (2)

2 built
setup built · 0.0s · open ↗ · raw ↗
hol-guard-3.0.192 built · 15.3s · open ↗ · raw ↗