diff --git a/.github/workflows/nix.yml b/.github/workflows/nix.yml
index 79b81bc..b01b908 100644
--- 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"