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

Jump to bottom

Update Submodules #332

Merged
merged 1 commit into from
Oct 14, 2023
Merged

Update Submodules #332

merged 1 commit into from
Oct 14, 2023
+1 −1

Conversation

viper-admin
Copy link
Member

  • Updates Gobra from ac59357695123ad47cbed04a06f106bde9c6d8b9 to b33f225ffe32d6218657dab62b6382453661e513.

@viper-admin
Copy link
Member Author

bors merge

bors bot added a commit that referenced this pull request Oct 13, 2023
@bors @ArquintL
Merge #332
dcc1d4e 
332: Update Submodules r=viper-admin a=viper-admin

* Updates Gobra from `ac59357695123ad47cbed04a06f106bde9c6d8b9` to `b33f225ffe32d6218657dab62b6382453661e513`.

Co-authored-by: ArquintL <ArquintL@users.noreply.github.com>
@bors
Copy link
Contributor

bors bot commented Oct 13, 2023

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"}

@viper-admin
Copy link
Member Author

bors merge

bors bot added a commit that referenced this pull request Oct 14, 2023
@bors @ArquintL
Merge #332
7bcd6ee 
332: Update Submodules r=viper-admin a=viper-admin

* Updates Gobra from `ac59357695123ad47cbed04a06f106bde9c6d8b9` to `b33f225ffe32d6218657dab62b6382453661e513`.

Co-authored-by: ArquintL <ArquintL@users.noreply.github.com>
@bors
Copy link
Contributor

bors bot commented Oct 14, 2023

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"}

@ArquintL ArquintL merged commit dc77122 into master Oct 14, 2023
15 checks passed
@ArquintL ArquintL deleted the auto-update-submodules branch October 14, 2023 06:33
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
automated pr
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@viper-admin @ArquintL