From 493149a167dca40625b0e61d117c055cd816dc73 Mon Sep 17 00:00:00 2001
From: Cyril Cohen <cohen@crans.org>
Date: Tue, 9 Mar 2021 21:47:00 +0100
Subject: [PATCH] fix

---
 .github/workflows/nix.yml | 3 +++
 1 file changed, 3 insertions(+)

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"