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

Update Submodules #331

Merged
merged 1 commit into from
Oct 11, 2023
Merged

Update Submodules #331

merged 1 commit into from
Oct 11, 2023

Conversation

viper-admin
Copy link
Member

  • Updates Gobra from 61d0bd916d5c1b183110976e517303ca8ab88289 to ac59357695123ad47cbed04a06f106bde9c6d8b9.

@viper-admin
Copy link
Member Author

bors merge

bors bot added a commit that referenced this pull request Oct 8, 2023
331: Update Submodules r=viper-admin a=viper-admin

* Updates Gobra from `61d0bd916d5c1b183110976e517303ca8ab88289` to `ac59357695123ad47cbed04a06f106bde9c6d8b9`.

Co-authored-by: ArquintL <[email protected]>
@bors
Copy link
Contributor

bors bot commented Oct 8, 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 9, 2023
331: Update Submodules r=viper-admin a=viper-admin

* Updates Gobra from `61d0bd916d5c1b183110976e517303ca8ab88289` to `ac59357695123ad47cbed04a06f106bde9c6d8b9`.

Co-authored-by: ArquintL <[email protected]>
@bors
Copy link
Contributor

bors bot commented Oct 9, 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 10, 2023
331: Update Submodules r=viper-admin a=viper-admin

* Updates Gobra from `61d0bd916d5c1b183110976e517303ca8ab88289` to `ac59357695123ad47cbed04a06f106bde9c6d8b9`.

Co-authored-by: ArquintL <[email protected]>
@bors
Copy link
Contributor

bors bot commented Oct 10, 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 3d2d677 into master Oct 11, 2023
15 of 16 checks passed
@ArquintL ArquintL deleted the auto-update-submodules branch October 11, 2023 05:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants