diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
index 57a13433c..687cd8fbd 100644
--- a/.github/workflows/coq-action.yml
+++ b/.github/workflows/coq-action.yml
@@ -105,6 +105,8 @@ jobs:
         exclude:
           - coq_version: 8.16
             bit_size: 32
+          - coq_version: 8.17
+            bit_size: 32
           - coq_version: dev
             bit_size: 32
           - bit_size: 64