dev(ci): set timeout for github actions to 10m

Default is 6 hours; much longer than they'll ever need.
This commit is contained in:
Henrik Lissner 2021-10-10 12:25:27 +02:00
parent c92b2b3724
commit 0c68486424
2 changed files with 2 additions and 0 deletions

View file

@ -3,6 +3,7 @@ on:
pull_request:
jobs:
lint-commits:
timeout-minutes: 10
runs-on: ubuntu-latest
steps:
- uses: purcell/setup-emacs@master

View file

@ -4,6 +4,7 @@ on:
- cron: '0 */12 * * *' # twice, daily
jobs:
lock:
timeout-minutes: 10
runs-on: ubuntu-latest
steps:
- uses: actions/stale@v3