CI setup for 8.20 & master

damien-pous · Sep 18, 2024 · 131b98a · 131b98a
1 parent fda9562
commit 131b98a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/build-relation-algebra.yml b/.github/workflows/build-relation-algebra.yml
@@ -4,7 +4,7 @@ on:
   push:
     branches:
       - master
-      - v8.18
+      - v8.20
   pull_request:
     branches:
       - '**'
@@ -16,7 +16,7 @@ jobs:
       matrix:
         image:
           - 'coqorg/coq:dev'
-          - 'coqorg/coq:8.18'
+          - 'coqorg/coq:8.20'
       fail-fast: false
 
     steps: