Update main.yml

Timeout CI after 60 minutes
ProjectSavanna · Aug 13, 2024 · 93dc203 · 93dc203
1 parent 48f1b7b
commit 93dc203
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -11,6 +11,7 @@ jobs:
   install-sml:
     name: SML/NJ ${{ matrix.smlnj-version }} - ${{ matrix.os }}
     runs-on: ${{ matrix.os }}
+    timeout-minutes: 60
 
     strategy:
       fail-fast: false