Skip to content

Update CI workflow to enable support for merge queues #15

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

Jump to bottom
Merged
merged 1 commit into from
Sep 6, 2023
Merged

Update CI workflow to enable support for merge queues #15

merged 1 commit into from
Sep 6, 2023

Conversation

Tehsmash
Copy link
Contributor

@Tehsmash Tehsmash commented Sep 6, 2023

Description

This adds the merge_group trigger to the CI workflows to ensure they run as part of the merge queue.

Type of Change

[ ] Bug Fix
[ ] New Feature
[ ] Breaking Change
[ ] Refactor
[ ] Documentation
[X] Other (please describe) CI/CD

Checklist

  • I have read the contributing guidelines
  • Existing issues have been referenced (where applicable)
  • I have verified this change is not present in other open pull requests
  • Functionality is documented
  • All code style checks pass
  • New code contribution is covered by automated tests
  • All new and existing tests pass

@Tehsmash
Update CI workflow to enable support for merge queues
14a2b28 
This adds the merge_group trigger to the CI workflows to ensure they run
as part of the merge queue.
@Tehsmash Tehsmash requested a review from a team as a code owner September 6, 2023 10:28
@Tehsmash Tehsmash added this pull request to the merge queue Sep 6, 2023
Merged via the queue into main with commit 59bfb97 Sep 6, 2023
@Tehsmash Tehsmash deleted the support-merge-queue branch September 6, 2023 10:42
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@FrimIdan FrimIdan

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@Tehsmash @FrimIdan