attempt to remove 8.18 from CI

math-comp · Sep 12, 2024 · f399bda · f399bda
1 parent f718317
commit f399bda
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 362 deletions.
diff --git a/.github/workflows/nix-action-8.18.yml b/.github/workflows/nix-action-8.18.yml
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -37,11 +37,6 @@
   ## alternative configuration
   ## When generating GitHub Action CI, one workflow file
   ## will be created per bundle
-  bundles."8.18".coqPackages = {
-    coq.override.version = "8.18";
-    mathcomp.override.version = "2.1.0";
-  };
-
   bundles."8.19".coqPackages = {
     coq.override.version = "8.19";
     mathcomp.override.version = "2.2.0";

diff --git a/README.md b/README.md
@@ -35,7 +35,7 @@ In terms of [opam](https://opam.ocaml.org/doc/Install.html), it comes as the fol
   - Pierre-Yves Strub (initial)
   - Laurent Théry
 - License: [CeCILL-C](LICENSE)
-- Compatible Coq versions: Coq 8.18 to 8.19 (or dev)
+- Compatible Coq versions: Coq 8.19 to 8.20 (or dev)
 - Additional dependencies:
   - [MathComp ssreflect 2.1.0 or later](https://math-comp.github.io)
   - [MathComp fingroup 2.1.0 or later](https://math-comp.github.io)