Merge pull request #7766 from nathanlao/timeout-for-ci-jobs

chore: set a default timeout for ci
This commit is contained in:
adpi2 2024-10-15 20:46:17 +02:00 committed by GitHub
commit bfb01d8388
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions

View File

@ -49,6 +49,7 @@ jobs:
distribution: adopt
jobtype: 9
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