Skip to content
New issue

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

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

Already on GitHub? # to your account

Keep CI quiet on focal PRs #2615

Merged
merged 2 commits into from
May 23, 2022
Merged

Keep CI quiet on focal PRs #2615

merged 2 commits into from
May 23, 2022

Conversation

Baltoli
Copy link
Contributor

@Baltoli Baltoli commented May 23, 2022

This fixes a small oversight in the CI packaging changes that's been causing the CI to shout about build failures on PR branches.

@Baltoli Baltoli marked this pull request as ready for review May 23, 2022 14:44
@Baltoli Baltoli requested a review from ehildenb May 23, 2022 14:44
@rv-jenkins rv-jenkins merged commit c85795a into master May 23, 2022
@rv-jenkins rv-jenkins deleted the quiet-ci branch May 23, 2022 17:16
# for free to join this conversation on GitHub. Already have an account? # to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants