Only go back to Coq 8.11

mit-plv · Sep 18, 2024 · b755269 · b755269
1 parent 6084c86
commit b755269
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -14,7 +14,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        COQ_VERSION: ["dev-native", "8.19-native", "8.18-native", "8.17-native", "8.16-native", "8.15", "8.14", "8.13", "8.12", "8.11", "8.10", "8.9", "8.8"]
+        COQ_VERSION: ["dev-native", "8.19-native", "8.18-native", "8.17-native", "8.16-native", "8.15", "8.14", "8.13", "8.12", "8.11"]
 
     concurrency:
       group: ${{ github.workflow }}-${{ matrix.COQ_VERSION }}-${{ github.head_ref || ( github.ref == 'refs/heads/master' && github.run_id ) || github.ref }}