nixbot

builds

succeeded checks.aarch64-darwin.pkgs-hol-guard build #8591 · raw · eval 1 ms · 148.3 KiB allocated · ·

Succeeded (2)

2 built
setup built

no output

check-hol-guard built

no output