diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index dd3d0b94957a680fd12fb4e2687156b6b1ee5dd1..f7b2dbbf11ef736001cde34917c9a88d8ffe32d6 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -14,6 +14,7 @@ jobs: windows: name: Windows runs-on: windows-latest + timeout-minutes: 30 env: CHILD_CONCURRENCY: "1" GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} @@ -71,6 +72,7 @@ jobs: linux: name: Linux runs-on: ubuntu-latest + timeout-minutes: 30 env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: @@ -136,6 +138,7 @@ jobs: darwin: name: macOS runs-on: macos-latest + timeout-minutes: 30 env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: @@ -188,6 +191,7 @@ jobs: hygiene: name: Hygiene, Layering and Monaco Editor runs-on: ubuntu-latest + timeout-minutes: 30 env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: