setting CI for Coq v8.14

damien-pous · Nov 11, 2021 · 19da1f7 · 19da1f7
1 parent d26f0d5
commit 19da1f7
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/build-relation-algebra.yml b/.github/workflows/build-relation-algebra.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - master
+      - v8.14
   pull_request:
     branches:
       - '**'
@@ -14,8 +15,8 @@ jobs:
     strategy:
       matrix:
         image:
-          - 'coqorg/coq:dev'
-          # - 'coqorg/coq:8.13'
+          # - 'coqorg/coq:dev'
+          - 'coqorg/coq:8.14'
       fail-fast: false
 
     steps: