From 7e02959760c2e530738abd4bb645ada62fd8df3c Mon Sep 17 00:00:00 2001
From: Armando Santos <armando@well-typed.com>
Date: Thu, 6 Feb 2025 14:43:48 +0000
Subject: [PATCH] Add 100MB to CI memory limit

---
 nix/ouroboros-network.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nix/ouroboros-network.nix b/nix/ouroboros-network.nix
index d69c51cd4b4..00e2ed71f8b 100644
--- a/nix/ouroboros-network.nix
+++ b/nix/ouroboros-network.nix
@@ -90,7 +90,7 @@ let
         preCheck =
           lib.mkForce
             (if buildSystem == "x86_64-linux"
-            then "export GHCRTS=-M300M"
+            then "export GHCRTS=-M400M"
             else "");
         doCheck = !pkgs.stdenv.hostPlatform.isWindows;