-
Notifications
You must be signed in to change notification settings - Fork 2
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
Update Submodules #331
Update Submodules #331
Conversation
bors merge |
331: Update Submodules r=viper-admin a=viper-admin * Updates Gobra from `61d0bd916d5c1b183110976e517303ca8ab88289` to `ac59357695123ad47cbed04a06f106bde9c6d8b9`. Co-authored-by: ArquintL <[email protected]>
This PR was included in a batch that successfully built, but then failed to merge into master. It will not be retried. Additional information: Response status code: 422
{"message":"Changes must be made through the merge queue","documentation_url":"https://docs.github.com/articles/about-protected-branches"} |
bors merge |
331: Update Submodules r=viper-admin a=viper-admin * Updates Gobra from `61d0bd916d5c1b183110976e517303ca8ab88289` to `ac59357695123ad47cbed04a06f106bde9c6d8b9`. Co-authored-by: ArquintL <[email protected]>
This PR was included in a batch that successfully built, but then failed to merge into master. It will not be retried. Additional information: Response status code: 422
{"message":"Changes must be made through the merge queue","documentation_url":"https://docs.github.com/articles/about-protected-branches"} |
bors merge |
331: Update Submodules r=viper-admin a=viper-admin * Updates Gobra from `61d0bd916d5c1b183110976e517303ca8ab88289` to `ac59357695123ad47cbed04a06f106bde9c6d8b9`. Co-authored-by: ArquintL <[email protected]>
This PR was included in a batch that successfully built, but then failed to merge into master. It will not be retried. Additional information: Response status code: 422
{"message":"Changes must be made through the merge queue","documentation_url":"https://docs.github.com/articles/about-protected-branches"} |
61d0bd916d5c1b183110976e517303ca8ab88289
toac59357695123ad47cbed04a06f106bde9c6d8b9
.