From 9473f86264df5cc22806c5b13889e8a71ba196dc Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Mon, 27 Apr 2020 01:30:08 +0200
Subject: [CI] Use coq-community/docker-coq-action@v1

---
 .github/workflows/test.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.github')

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index faf7b628..f6ee2835 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -62,7 +62,7 @@ jobs:
     steps:
     - uses: actions/checkout@v2
 
-    - uses: erikmd/docker-coq-action@master
+    - uses: coq-community/docker-coq-action@v1
       id: docker-coq-action
       with:
         opam_file: 'dummy.opam'
-- 
cgit v1.2.3