update meta.yml and regenerate CI boilerplate

.github/workflows/nix-action.yml

@@ -0,0 +1,52 @@
+# This file was generated from `meta.yml`, please do not edit manually.
+# Follow the instructions on https://github.com/coq-community/templates to regenerate.
+name: Nix CI
+
+on:
+  push:
+    branches:
+      - v8.13
+  pull_request:
+    paths:
+    - .github/workflows/**
+  pull_request_target:
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        overrides:
+          - 'coq = "8.13"'
+      fail-fast: false
+    steps:
+      - name: Determine which ref to test
+        run: |
+          if [[ ${{ github.event_name }} =~ "pull_request" ]]; then
+            merge_commit=$(git ls-remote ${{ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge | cut -f1)
+            if [ -z "$merge_commit" ]; then
+              echo "tested_ref=refs/pull/${{ github.event.number }}/head" >> $GITHUB_ENV
+            else
+              echo "tested_ref=refs/pull/${{ github.event.number }}/merge" >> $GITHUB_ENV
+            fi
+          else
+            echo "tested_ref=${{ github.ref }}" >> $GITHUB_ENV
+          fi
+      - uses: cachix/install-nix-action@v12
+        with:
+          nix_path: nixpkgs=channel:nixpkgs-unstable
+      - uses: cachix/cachix-action@v8
+        with:
+          name: coq
+      - uses: cachix/cachix-action@v8
+        with:
+          name: coq-community
+          authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
+      - uses: cachix/cachix-action@v8
+        with:
+          name: math-comp
+      - uses: actions/checkout@v2
+        with:
+          ref: ${{ env.tested_ref }}
+      - run: >
+          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_or_url: https://github.com/coq/coq-on-cachix/tarball/v8.13
+- coq_version: '8.13'
 
 tested_coq_opam_versions:
 - version: '8.13'