From 508e1770eaa3f4b7116d99e2c7c340c3f316b162 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Date: Wed, 1 Apr 2020 22:15:15 +0200
Subject: [PATCH] Use erikmd/docker-coq-action@alpha

following the merge of PR erikmd/docker-coq-action#5
---
 .github/workflows/build-coq-demo.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build-coq-demo.yml b/.github/workflows/build-coq-demo.yml
index b1a766d..e83ba1a 100644
--- a/.github/workflows/build-coq-demo.yml
+++ b/.github/workflows/build-coq-demo.yml
@@ -27,7 +27,7 @@ jobs:
     # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
     - uses: actions/checkout@v2
 
-    - uses: erikmd/docker-coq-action@feature-timegroup
+    - uses: erikmd/docker-coq-action@alpha
       id: docker-coq-action
       with:
         opam_file: 'coq-demo.opam'