Tweak CI

andrew-appel · andrew-appel · commit 7343fb36297b · 2025-07-02T10:17:35.000-04:00
diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
@@ -27,9 +27,6 @@ jobs:
           - 64
         make_target:
           - vst
-        exclude:
-	  - coq_version: dev
-	    bit_size: 32
     steps:
       - uses: actions/checkout@v4
         with:
