max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: CI: downgrade Nix

Browse source
This commit is contained in:
Sebastian Ullrich 2022-07-02 12:06:10 +02:00
parent 515541709a
commit 0896180f12
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/nix-ci.yml vendored
View file

@ -33,6 +33,8 @@ jobs:
- name: Install Nix
uses: cachix/install-nix-action@v15
with:
# https://github.com/NixOS/nix/issues/6572
install_url: https://releases.nixos.org/nix/nix-2.7.0/install
extra_nix_config: |
extra-sandbox-paths = /nix/var/cache/ccache
substituters = file://${{ github.workspace }}/nix-store-cache-copy?priority=10&trusted=true https://cache.nixos.org