speed up CI

This commit is contained in:
Domen Kožar 2020-08-30 22:52:34 +02:00 committed by GitHub
parent 8757e7022a
commit f38fe24346
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -13,5 +13,7 @@ jobs:
with:
fetch-depth: 0
- uses: cachix/install-nix-action@v10
with:
skip_adding_nixpkgs_channel: true
#- run: nix flake check
- run: nix-build -A checks.$(if [[ `uname` = Linux ]]; then echo x86_64-linux; else echo x86_64-darwin; fi)