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.

Sign up for GitHub

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

ci: Turn off builds for pushes and merges to main/stable* #9030

Merged

ChristophWurst merged 1 commit into main from ci/no-main-stable-push-builds

Oct 30, 2023

Merged

ci: Turn off builds for pushes and merges to main/stable* #9030

ci: Turn off builds for pushes and merges to main/stable*

Codecov / codecov/project failed Oct 30, 2023 in 0s

49.25% (-0.04%) compared to 24ec0af

View this Pull Request on Codecov

49.25% (-0.04%) compared to 24ec0af

View more details on Codecov