Add timeout

This commit is contained in:
Wilfried Kopp authored and Chevdor committed 2022-08-10 22:59:35 +02:00
1 parent f9f4128d76
commit 53afd090e4
1 file changed
+1
@@ -17,6 +17,7 @@ jobs:
check:
name: Run check
runs-on: ubuntu-latest
timeout-minutes: 15
env:
BIN_URL: ${{github.event.inputs.binary_url}}
REF_URL: ${{github.event.inputs.reference_binary_url}}