fix

math-comp · Mar 9, 2021 · 493149a · 493149a
1 parent 9d9f549
commit 493149a
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/nix.yml b/.github/workflows/nix.yml
@@ -32,6 +32,9 @@ jobs:
           - mc: "1.10.0"
             coq: "8.13"
 
+          - mc: "1.11.0"
+            coq: "8.13"
+
           - mc: "1.12.0"
             coq: "8.7"
           - mc: "1.12.0"