Use erikmd/docker-coq-action@alpha

following the merge of PR coq-community/docker-coq-action#5
erikmd · Apr 1, 2020 · 508e177 · 508e177
1 parent b58a16d
commit 508e177
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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'