diff --git a/actions/cicero/ci.nix b/actions/cicero/ci.nix
index df7cc88b..f98af62e 100644
--- a/actions/cicero/ci.nix
+++ b/actions/cicero/ci.nix
@@ -38,7 +38,7 @@ std.behavior.onInputChange "start" name args
               (std.git.clone cfg)
 
               {
-                resources.memory = 1024 * 2;
+                resources.memory = 1024 * 3;
 
                 config.packages = std.data-merge.append [
                   "github:input-output-hk/cicero/${cfg.sha}#devShell.x86_64-linux"