enable CI on 8.18

math-comp · Aug 12, 2023 · ec4b14f · ec4b14f
1 parent c4f2361
commit ec4b14f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -20,6 +20,7 @@ jobs:
           - '8.15'
           - '8.16'
           - '8.17'
+          - '8.18'
     steps:
     - uses: actions/checkout@v2
     - uses: coq-community/docker-coq-action@v1