Update CI and remove 8_14 build

Changes to modulo 0 theorems require changes to the Koîka code base that make it incompatible with Coq 8.14.
Barkhausen-Institut · Jun 28, 2024 · 2ea5ec4 · 2ea5ec4
1 parent f66961b
commit 2ea5ec4
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/flake.nix b/flake.nix
@@ -29,7 +29,6 @@
 
         packages = {
           default = self.packages.${system}.coq8_18-koika;
-          coq8_14-koika = pkgs.coqPackages_8_14.koika;
           coq8_18-koika = pkgs.coqPackages_8_18.koika;
           coqDev-koika = pkgs.coqPackages_koika.koika;
         };

diff --git a/makes.nix b/makes.nix
@@ -24,7 +24,7 @@
   };
   outputs."/build" = makeSearchPaths {
     bin = [
-      (inputs.nixpkgs.coqPackages_8_14.koika.override {
+      (inputs.nixpkgs.coqPackages_8_18.koika.override {
         doCheck = true;
       })
     ];