From 378afa7875656abf919417c0e8b1df5e34b3cbb9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= <theo.zimmermann@inria.fr>
Date: Fri, 10 Dec 2021 11:57:37 +0100
Subject: [PATCH] Update install-nix-action to be on par with the Coq Nix
 Toolbox.

See https://github.com/coq-community/coq-nix-toolbox/pull/81.
---
 nix-action.yml.mustache | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nix-action.yml.mustache b/nix-action.yml.mustache
index 44474d9..146f688 100644
--- 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 %>