Limit 7z thread to 3 when building Windows distro due to OoM in GitHu…

…b Action.
sireum · Oct 29, 2024 · 455114b · 455114b
1 parent 7b9f463
commit 455114b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/library/jvm/src/main/scala/org/sireum/Init.scala b/library/jvm/src/main/scala/org/sireum/Init.scala
@@ -1748,7 +1748,7 @@ import Init._
       if (Os.isWin) {
         val pkg = s"$plat.7z"
         val p7zz = install7zz()
-        Os.proc(ISZ[String](p7zz.string, "a", "-mmt2", pkg) ++ files).at(distroDir.up).runCheck()
+        Os.proc(ISZ[String](p7zz.string, "a", "-mmt3", pkg) ++ files).at(distroDir.up).runCheck()
         (distroDir.up / pkg).moveOverTo(setupDir.up / pkg)
       } else {
         val pkg = s"$plat.tar.xz"