exclude more!

Author: CohenCyril

.github/workflows/nix.yml

@@ -8,21 +8,30 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        mc: [ "1.11.0", "1.11.0", "1.10.0", "1.9.0", "1.8.0" ]
+        mc: [ "1.12.0", "1.11.0", "1.10.0", "1.9.0", "1.8.0" ]
         coq: [ "8.13", "8.12", "8.11", "8.10", "8.9", "8.8", "8.7" ]
         exclude:
           - mc: "1.8.0"
             coq: "8.10"
           - mc: "1.8.0"
             coq: "8.11"
-          - mc: "1.9.0"
-            coq: "8.11"
           - mc: "1.8.0"
             coq: "8.12"
+          - mc: "1.8.0"
+            coq: "8.13"
+
+          - mc: "1.9.0"
+            coq: "8.11"
           - mc: "1.9.0"
             coq: "8.12"
+          - mc: "1.9.0"
+            coq: "8.13"
+
           - mc: "1.10.0"
             coq: "8.12"
+          - mc: "1.10.0"
+            coq: "8.13"
+
           - mc: "1.12.0"
             coq: "8.7"
           - mc: "1.12.0"

default.nix

@@ -6,7 +6,8 @@
 }@args:
 let src = fetchGit {
   url = "https://github.com/coq-community/nix-toolbox.git";
-  ref = "8b8ed7f4fc38ae218d99fe9909142b30e6a0733f";
+  ref = "master";
+  rev = "8b8ed7f4fc38ae218d99fe9909142b30e6a0733f";
 };
 in
 (import src ./.