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

Only run full PR CI on Focal #2594

Merged
merged 11 commits into from
May 20, 2022
Merged

Only run full PR CI on Focal #2594

merged 11 commits into from
May 20, 2022

Conversation

Baltoli
Copy link
Contributor

@Baltoli Baltoli commented May 16, 2022

This PR should be merged immediately following #2593, to undo the change that causes all 3 Ubuntu versions (18.04, 20.04, 22.04) to run full CI pipelines on every PR, rather than just on the master branch.

@Baltoli Baltoli mentioned this pull request May 16, 2022
@Baltoli Baltoli marked this pull request as ready for review May 20, 2022 05:50
@Baltoli Baltoli requested review from dwightguth and ehildenb May 20, 2022 09:00
@rv-jenkins rv-jenkins merged commit 3b5a408 into master May 20, 2022
@rv-jenkins rv-jenkins deleted the ci-no-pr branch May 20, 2022 17:15
# 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