nixbot

builds

succeeded checks.aarch64-darwin.pkgs-hol-guard build #10343 · raw · eval 2 ms · 82.3 KiB allocated · ·

Succeeded (3)

3 built
setup built · 0.0s · open ↗ · raw ↗
hol-guard-3.38.0 built · 69.1s · open ↗ · raw ↗
check-hol-guard built · 2.0s · open ↗ · raw ↗