Update nix-action to latest version of the new template.

See coq-community/templates#99.
Zimmi48 · Aug 7, 2021 · 7dfeed7 · 7dfeed7
1 parent 3f9ddc4
commit 7dfeed7
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/nix-action.yml b/.github/workflows/nix-action.yml
@@ -15,8 +15,8 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        coq_version:
-          - 'master'
+        overrides:
+          - 'coq = "master"'
       fail-fast: false
     steps:
       - uses: cachix/install-nix-action@v12
@@ -34,4 +34,4 @@ jobs:
           name: math-comp
       - uses: actions/checkout@v2
       - run: >
-          nix-build https://coq.inria.fr/nix/toolbox --argstr job aac-tactics --arg override '{coq = "'${{ matrix.coq_version }}'"; aac-tactics = builtins.filterSource (path: _: baseNameOf path != ".git") ./.;}'
+          nix-build https://coq.inria.fr/nix/toolbox --argstr job aac-tactics --arg override '{ ${{ matrix.overrides }}; aac-tactics = builtins.filterSource (path: _: baseNameOf path != ".git") ./.; }'