From 6c13206ec4b85653d090e757039f7b29921c2308 Mon Sep 17 00:00:00 2001
From: Jan Romann <jan.romann@uni-bremen.de>
Date: Thu, 30 Nov 2023 12:11:03 +0100
Subject: [PATCH] ci: add a total timeout of 30 minutes

---
 .github/workflows/ci.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 4d58ea6e9..f8af7b3bc 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -17,6 +17,8 @@ jobs:
                 os: [macos-latest, ubuntu-latest, windows-latest]
                 node-version: [18.x, 20.x]
 
+        timeout-minutes: 30
+
         steps:
             - name: Checkout
               uses: actions/checkout@v2