From c536083fc77e1b26f33917e28ca096823a5f2bc6 Mon Sep 17 00:00:00 2001 From: Matthias Kurz Date: Tue, 19 Sep 2023 17:36:36 +0200 Subject: [PATCH] Increase memory for GitHub actions runner --- .sbtopts | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 .sbtopts diff --git a/.sbtopts b/.sbtopts new file mode 100644 index 0000000..2018024 --- /dev/null +++ b/.sbtopts @@ -0,0 +1,2 @@ +-J-Xms2G +-J-Xmx2G