From e901c0bb73e0e66c95879bbb3738ac79e91ffeaa Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Wed, 22 Apr 2020 11:46:37 +0200
Subject: [CI] Use erikmd/docker-coq-action@master

---
 .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 4b4bf8ec..faf7b628 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@alpha
+    - uses: erikmd/docker-coq-action@master
       id: docker-coq-action
       with:
         opam_file: 'dummy.opam'
-- 
cgit v1.2.3