Drop 8.12 and 8.13 from CI

mit-pdos · May 10, 2022 · 24fb544 · 24fb544
1 parent 8757c40
commit 24fb544
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
@@ -18,9 +18,8 @@ jobs:
       matrix:
         image:
           - "coqorg/coq:dev"
+          - "coqorg/coq:8.15"
           - "coqorg/coq:8.14"
-          - "coqorg/coq:8.13"
-          - "coqorg/coq:8.12"
       fail-fast: false
     steps:
       - uses: actions/checkout@v2

diff --git a/README.md b/README.md
@@ -20,8 +20,8 @@ example.
 
 ## Compiling
 
-We develop Argosy using Coq master. It should also be compatible with Coq 8.12
-and 8.13, which are tested as part of continuous integration.
+We develop Argosy using Coq master. It should also be compatible with Coq 8.14 and
+8.15, which are tested as part of continuous integration.
 
 This project uses git submodules to include several dependencies. Before
 compiling, run `git submodule update --init --recursive` to set those up.