Set timeout for all GitHub actions

2026-10-13 00:03:18 +01:00 · 2024-07-01 12:09:30 +02:00
parent 62ac23cb1a
commit 42da2c3397
10 changed files with 14 additions and 4 deletions
--- a/.github/workflows/pint.yml
+++ b/.github/workflows/pint.yml
@@ -3,6 +3,8 @@ on: push
 jobs:
  pint:
    runs-on: ubuntu-latest
+    timeout-minutes: 10
+
    steps:
      - name: "Checkout code"
        uses: actions/checkout@v4