From a4398d054c0f121ac15e9aa9b452eddf353ac35d Mon Sep 17 00:00:00 2001
From: nathanlao <gla93@sfu.ca>
Date: Mon, 14 Oct 2024 23:40:11 -0700
Subject: [PATCH] chore: set a default timeout for ci

---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 69530a6e2..43dd3f82a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -49,6 +49,7 @@ jobs:
             distribution: adopt
             jobtype: 9
     runs-on: ${{ matrix.os }}
+    timeout-minutes: 25
     env:
       JAVA_OPTS: -Xms800M -Xmx2G -Xss6M -XX:ReservedCodeCacheSize=128M -server -Dsbt.io.virtual=false -Dfile.encoding=UTF-8
       JVM_OPTS: -Xms800M -Xmx2G -Xss6M -XX:ReservedCodeCacheSize=128M -server -Dsbt.io.virtual=false -Dfile.encoding=UTF-8