Removed all version of Coq from CI except for 8.18

weakmemory · Oct 23, 2023 · b441d94 · b441d94
1 parent 63f2a13
commit b441d94
Showing 1 changed file with 0 additions and 27 deletions.
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -5,33 +5,6 @@
 
   default-bundle = "8.18";
 
-  bundles."8.15" = {
-    push-branches = [ "**" ];
-    coqPackages.coq.override.version = "8.15";
-    coqPackages.hahn.override.version = "master";
-    coqPackages.hahnExt.override.version = "main";
-    coqPackages.sflib.override.version = "master";
-    coqPackages.promising-lib.override.version = "master";
-    coqPackages.ITree.override.version = "master";
-  };
-  bundles."8.16" = {
-    push-branches = [ "**" ];
-    coqPackages.coq.override.version = "8.16";
-    coqPackages.hahn.override.version = "master";
-    coqPackages.hahnExt.override.version = "main";
-    coqPackages.sflib.override.version = "master";
-    coqPackages.promising-lib.override.version = "master";
-    coqPackages.ITree.override.version = "master";
-  };
-  bundles."8.17" = {
-    push-branches = [ "**" ];
-    coqPackages.coq.override.version = "8.17";
-    coqPackages.hahn.override.version = "master";
-    coqPackages.hahnExt.override.version = "main";
-    coqPackages.sflib.override.version = "master";
-    coqPackages.promising-lib.override.version = "master";
-    coqPackages.ITree.override.version = "master";
-  };
   bundles."8.18" = {
     push-branches = [ "**" ];
     coqPackages.coq.override.version = "8.18";