githubrunner: increase default mem

Kamilcuk · Jul 30, 2024 · 5e493c3 · 5e493c3
1 parent 59c14aa
commit 5e493c3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/nomad_tools/entry_githubrunner.py b/src/nomad_tools/entry_githubrunner.py
@@ -107,7 +107,7 @@
       }
       resources {
         {% if arg.cpu -%}    cpu         = {{ arg.cpu }}   {%- endif %}
-        {% if arg.mem -%}    memory      = {{ arg.mem }}   {%- endif %}
+        memory      = {{ arg.mem | default(opts.mem | default (1000)) }}
         {% if arg.maxmem -%} memory_max = {{ arg.maxmem }} {%- endif %}
       }
       {{ opts.task }}