Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Specify ubuntu runner instead of using latest in coverage check #227

Merged
merged 1 commit into from
Oct 17, 2024

Conversation

jr0me
Copy link
Member

@jr0me jr0me commented Oct 17, 2024

Description

In relation to #218 it was recently also noted that not all runners are using the same latest, some default to ubuntu-24 others to ubuntu-22. Since Github is in a transition period updating their runners, and they will be so until Oct 30th, we specify the runner in the coverage check to avoid failures.

See: actions/runner-images#10636

Github is in a transition period and not all runners
use the same version of Ubuntu, since we need 24
to have clang 16 in the runners environment, specify
it here.
@jr0me jr0me marked this pull request as ready for review October 17, 2024 11:06
@jr0me jr0me requested review from sdvendramini and cborla October 17, 2024 11:06
Copy link
Member

@cborla cborla left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@cborla cborla merged commit a7c1f7c into master Oct 17, 2024
4 of 5 checks passed
@cborla cborla deleted the enhancement/specify-ubuntu-runner-for-coverage-check branch October 17, 2024 13:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants