Merge pull request #7769 from nathanlao/develop-timeout

chore: update develop branch to set default CI timeout
This commit is contained in:
eugene yokota 2024-10-16 00:47:41 -04:00 committed by GitHub
commit 3c20f321d2
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions

View File

@ -57,6 +57,7 @@ jobs:
distribution: temurin
jobtype: 10
runs-on: ${{ matrix.os }}
timeout-minutes: 25
env:
JAVA_OPTS: -Xms800M -Xmx2G -Xss6M -XX:ReservedCodeCacheSize=128M -server -Dsbt.io.virtual=false -Dfile.encoding=UTF-8
JVM_OPTS: -Xms800M -Xmx2G -Xss6M -XX:ReservedCodeCacheSize=128M -server -Dsbt.io.virtual=false -Dfile.encoding=UTF-8