build(release): fix release script

YakshaLang · Jul 30, 2023 · a0c2a5d · a0c2a5d
1 parent 0d2ce01
commit a0c2a5d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -11,7 +11,7 @@ jobs:
     # TODO Add support for running release in macos as well
     strategy:
       matrix:
-        os: [windows-latest]
+        os: [linux-latest]
     steps:
     - name: Checkout git repo
       uses: actions/checkout@v2

diff --git a/compiler/scripts/release.py b/compiler/scripts/release.py
@@ -10,7 +10,7 @@
 from typing import List
 
 ROOT = os.path.realpath(os.path.dirname(os.path.dirname(os.path.abspath(__file__))))
-MAX_EXECUTION_TIME_SEC = 60 * 4
+MAX_EXECUTION_TIME_SEC = 60 * 30
 PATHS = []
 
 WINDOWS_OS = sys.platform.startswith('win')