nixbot

builds
sign in

setup checks.aarch64-darwin.pkgs-hol-guard · build #5195 · raw

1these 2 derivations will be built:2 /nix/store/lz2bjsqxh9kbw8y6w66xxmdq0f6py4fp-hol-guard-3.3.0.drv3 /nix/store/hzvfbq1lcdmqbj1rfqwkwpps7m92da53-check-hol-guard.drv