add timeout

This commit is contained in:
Diego 2023-06-01 14:13:45 +02:00
parent d00d3a080c
commit 284feeb1d2
No known key found for this signature in database
GPG Key ID: C9DAC9BF68D1F806

View File

@ -15,6 +15,7 @@ concurrency:
jobs:
Coverage:
timeout-minutes: 90
runs-on: ubuntu-20.04
env:
CICOV: YES