Merge pull request #110 from coq-community/fix-and-update-nix-ci

Fix and update Nix CI
coq-community · Dec 10, 2021 · e62015d · e62015d
2 parents 790d42e + 378afa7
commit e62015d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/nix-action.yml.mustache b/nix-action.yml.mustache
@@ -41,7 +41,7 @@ jobs:
           else
             echo "tested_commit=${{ github.sha }}" >> $GITHUB_ENV
           fi
-      - uses: cachix/install-nix-action@v14
+      - uses: cachix/install-nix-action@v16
         with:
           nix_path: nixpkgs=channel:nixpkgs-unstable
 <%# cachix %>
@@ -61,7 +61,7 @@ jobs:
 <%/ cachix %>
       - uses: actions/checkout@v2
         with:
-          ref: ${{ env.tested_ref }}
+          ref: ${{ env.tested_commit }}
 <%# submodule %>
           submodules: recursive
 <%/ submodule %>