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

Deny warnings in test workflow #2135

Merged
merged 2 commits into from
Nov 12, 2023
Merged

Deny warnings in test workflow #2135

merged 2 commits into from
Nov 12, 2023

Conversation

hecrj
Copy link
Member

@hecrj hecrj commented Nov 12, 2023

This PR changes the test workflow so it denies any warnings produced during compilation.

@hecrj hecrj added the improvement An internal improvement label Nov 12, 2023
@hecrj hecrj added this to the 0.12 milestone Nov 12, 2023
@hecrj hecrj merged commit 817f728 into master Nov 12, 2023
25 checks passed
@hecrj hecrj deleted the ci/deny-warnings branch November 12, 2023 02:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
improvement An internal improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant