Tweak CI

PrincetonUniversity · Oct 10, 2023 · e23b9c0 · e23b9c0
1 parent 2bf7a97
commit e23b9c0
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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