Add short timeouts for GitHub actions.

This avoids wasting 6h of runners when something goes wrong.

Author: aaugustin

.github/workflows/release.yml

@@ -61,6 +61,7 @@ jobs:
       with:
         name: dist-${{ matrix.os }}
         path: wheelhouse/*.whl
+    timeout-minutes: 30
 
   upload:
     name: Upload
@@ -91,3 +92,4 @@ jobs:
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         run: gh release -R python-websockets/websockets create ${{ github.ref_name }} --notes "See https://websockets.readthedocs.io/en/stable/project/changelog.html for details."
+    timeout-minutes: 5

.github/workflows/tests.yml

@@ -28,6 +28,7 @@ jobs:
       run: tox -e coverage
     - name: Run tests with per-module coverage
       run: tox -e maxi_cov
+    timeout-minutes: 3
 
   quality:
     name: Run code quality checks
@@ -45,6 +46,7 @@ jobs:
       run: tox -e ruff
     - name: Check types statically
       run: tox -e mypy
+    timeout-minutes: 1
 
   matrix:
     name: Run tests on Python ${{ matrix.python }}
@@ -78,3 +80,4 @@ jobs:
       run: pip install tox
     - name: Run tests
       run: tox -e py
+    timeout-minutes: 2