From 56f5b326cdcaa340f30406754f6be12f5a020a86 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Fri, 20 Nov 2020 18:04:40 +0100
Subject: Update nix.yml

---
 .github/workflows/nix.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/nix.yml b/.github/workflows/nix.yml
index 0ea5aee..9f45794 100644
--- a/.github/workflows/nix.yml
+++ b/.github/workflows/nix.yml
@@ -8,7 +8,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        coq: [ "8.11", "8.10", "8.9" ]
+        coq: [ "8.11", "8.10", "8.12" ]
     steps:
       - name: Get branch shortname
         run: echo "##[set-output name=name;]$(echo ${GITHUB_REF#refs/heads/})"
@@ -19,8 +19,8 @@ jobs:
       - name: Get owner lowercase name
         run: echo "##[set-output name=name;]$(echo $GITHUB_REPOSITORY | cut -d/ -f1 | tr '[:upper:]' '[:lower:]')"
         id: owner-lowercase
-      - uses: cachix/install-nix-action@v8
-      - uses: cachix/cachix-action@v6
+      - uses: cachix/install-nix-action@v12
+      - uses: cachix/cachix-action@v8
         if: steps.owner.outputs.name == 'math-comp' || steps.owner.outputs.name == 'CohenCyril'
         with:
           # Name of a cachix cache to push and pull/substitute
-- 
cgit v1.2.3