From 0c684864244c51217f98a9f3a643a7a12741efdc Mon Sep 17 00:00:00 2001
From: Henrik Lissner <henrik@lissner.net>
Date: Sun, 10 Oct 2021 12:25:27 +0200
Subject: [PATCH] dev(ci): set timeout for github actions to 10m

Default is 6 hours; much longer than they'll ever need.
---
 .github/workflows/lint.yml   | 1 +
 .github/workflows/triage.yml | 1 +
 2 files changed, 2 insertions(+)

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index ec42e694f..11385ab0a 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -3,6 +3,7 @@ on:
   pull_request:
 jobs:
   lint-commits:
+    timeout-minutes: 10
     runs-on: ubuntu-latest
     steps:
       - uses: purcell/setup-emacs@master
diff --git a/.github/workflows/triage.yml b/.github/workflows/triage.yml
index ab532526a..b6ee60501 100644
--- a/.github/workflows/triage.yml
+++ b/.github/workflows/triage.yml
@@ -4,6 +4,7 @@ on:
     - cron: '0 */12 * * *'  # twice, daily
 jobs:
   lock:
+    timeout-minutes: 10
     runs-on: ubuntu-latest
     steps:
       - uses: actions/stale@v3