Merge pull request #83 from Zimmi48/v8.14-update-nix-action

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

Author: palmskog

.github/workflows/nix-action.yml

@@ -15,8 +15,8 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        coq_version:
-          - 'v8.14'
+        overrides:
+          - 'coq = "v8.14"'
       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") ./.; }'

meta.yml

@@ -55,7 +55,7 @@ supported_ocaml_versions:
   opam: '{>= "4.05.0"}'
 
 tested_coq_nix_versions:
-- version: v8.14
+- coq_version: v8.14
 
 tested_coq_opam_versions:
 - version: '8.14'