increase timout to 10s and run on ubuntu-latest (#3523)

As identified in #3512 it seams as the problem was the internal timeout.
Closes #3507.
This commit is contained in:
Felix Schurk 2024-06-29 00:11:53 +02:00 committed by GitHub
parent 64609a0407
commit 5ab51271b0
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 3 additions and 3 deletions

View file

@ -5,7 +5,7 @@ on: [push, pull_request]
jobs:
coverage:
runs-on: ubuntu-22.04
runs-on: ubuntu-latest
steps:
- name: Install apt packages
run: sudo apt-get install -y build-essential cmake git uuid-dev faketime locales python3 curl gcovr ninja-build