build system: updated workflow(s)

This commit is contained in:
Michele Caini
2022-03-01 14:25:09 +01:00
parent 28aa35160d
commit e83c77b99f
3 changed files with 8 additions and 8 deletions

View File

@@ -5,7 +5,7 @@ on: [push, pull_request]
jobs:
codecov:
timeout-minutes: 10
timeout-minutes: 15
runs-on: ubuntu-latest
steps: