Fix CI timeout (#8408)

This commit is contained in:
Félix Malfait
2024-11-08 13:53:38 +01:00
committed by GitHub
parent f3e3c186dc
commit a7a7d62502
12 changed files with 19 additions and 11 deletions

View File

@ -1,5 +1,4 @@
name: "Release: on merge"
timeout-minutes: 10
on:
pull_request:
types:
@ -7,6 +6,7 @@ on:
jobs:
tag_and_release:
timeout-minutes: 10
runs-on: ubuntu-latest
if: github.event.pull_request.merged == true && contains(github.event.pull_request.labels.*.name, 'release')
steps: