diff --git a/.github/workflows/build-relation-algebra.yml b/.github/workflows/build-relation-algebra.yml
index 0ca0ac7..a767aac 100644
--- 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: