diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
index 051d027..e833e6c 100644
--- a/.github/workflows/docker-action.yml
+++ b/.github/workflows/docker-action.yml
@@ -21,9 +21,10 @@ jobs:
           - 'coqorg/coq:8.14'
           - 'coqorg/coq:8.15'
           - 'coqorg/coq:8.16'
+          - 'coqorg/coq:8.17'
       fail-fast: false
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v3
       - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'coq-parsec.opam'
diff --git a/meta.yml b/meta.yml
index 4600e93..cfff96e 100644
--- a/meta.yml
+++ b/meta.yml
@@ -49,3 +49,4 @@ tested_coq_opam_versions:
   - version: '8.14'
   - version: '8.15'
   - version: '8.16'
+  - version: '8.17'