diff options
| author | Gangzheng Tong <tonggangzheng@gmail.com> | 2025-09-24 17:54:26 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-09-25 00:54:26 +0000 |
| commit | 55a7d2a73ef051f6027129f90e73a88b5176ec3b (patch) | |
| tree | 35b7d68028f82c43142543e9580855a6c7e35ca9 /.github/workflows | |
| parent | 9c2024a7509baae921083d49a56e1321c51f00ec (diff) | |
Add timeout to CI jobs; add mimalloc to .gitignore (#8538)
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ci-slang-build.yml | 1 | ||||
| -rw-r--r-- | .github/workflows/ci-slang-test.yml | 3 |
2 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/ci-slang-build.yml b/.github/workflows/ci-slang-build.yml index b5a492543..efb4fe4a4 100644 --- a/.github/workflows/ci-slang-build.yml +++ b/.github/workflows/ci-slang-build.yml @@ -34,6 +34,7 @@ on: jobs: build: runs-on: ${{ fromJSON(inputs.runs-on) }} + timeout-minutes: 60 defaults: run: diff --git a/.github/workflows/ci-slang-test.yml b/.github/workflows/ci-slang-test.yml index da15f7321..ec2eb6a8f 100644 --- a/.github/workflows/ci-slang-test.yml +++ b/.github/workflows/ci-slang-test.yml @@ -38,6 +38,7 @@ on: jobs: test-slang: runs-on: ${{ fromJSON(inputs.runs-on) }} + timeout-minutes: 30 defaults: run: shell: bash @@ -119,6 +120,7 @@ jobs: # expensive slang-rhi tests are excluded with -tce option, because they are not relevant for Slang. test-slang-rhi: runs-on: ${{ fromJSON(inputs.runs-on) }} + timeout-minutes: 30 if: inputs.full-gpu-tests && (github.event_name == 'pull_request' || inputs.config == 'release') defaults: run: @@ -152,6 +154,7 @@ jobs: # This is to reduce the CI load but do some check on pull requests. test-slangpy: runs-on: ${{ fromJSON(inputs.runs-on) }} + timeout-minutes: 30 if: inputs.full-gpu-tests && (github.event_name == 'pull_request' || inputs.config == 'release') defaults: run: |