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

Add job to signal to branch protection that all other jobs have succeeded. #443

Merged
merged 1 commit into from Oct 2, 2023

Conversation

jswrenn
Copy link
Collaborator

@jswrenn jswrenn commented Oct 2, 2023

Upon merging, @joshlf will need to update branch protection settings.

This job is used to signal to branch protections that all other
jobs have succeeded.
@joshlf joshlf added this pull request to the merge queue Oct 2, 2023
Merged via the queue into main with commit 68953ed Oct 2, 2023
152 checks passed
@joshlf joshlf deleted the ci-omnibus branch October 2, 2023 20:25
samuelselleck pushed a commit to samuelselleck/zerocopy that referenced this pull request Oct 13, 2023
This job is used to signal to branch protections that all other
jobs have succeeded.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants