Github: Set a timeout of 15 minutes for CI

7 mins is the highest I've seen naturally. Much longer indicates something is stuck.
cyanfish · Apr 1, 2024 · 8f9cbfc · 8f9cbfc
1 parent 04f087b
commit 8f9cbfc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/dotnet.yml b/.github/workflows/dotnet.yml
@@ -5,6 +5,7 @@ on: [push, pull_request]
 jobs:
   build:
     runs-on: ${{ matrix.os }}
+    timeout-minutes: 15
     strategy:
       matrix:
         os: [windows-2022, ubuntu-22.04, macos-14]