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 #157

Merged
merged 1 commit into from
Jul 17, 2023
Merged

Update Submodules #157

merged 1 commit into from
Jul 17, 2023

Conversation

viper-admin
Copy link
Member

  • Updates Silicon from 01c5ab5afa8e7be16dca4c6277f397ac65782318 to 3b3b4befb716fc9df4606909ff25162a5c8563a8.
  • Updates Carbon from 73a3734150c3a169dd95136397fb3b22f1040ded to 07fc66e4c4da7b5b75f8ef571a4c0c0adab1dd35.

@viper-admin
Copy link
Member Author

bors merge

bors bot added a commit that referenced this pull request Jul 17, 2023
157: Update Submodules r=viper-admin a=viper-admin

* Updates Silicon from `01c5ab5afa8e7be16dca4c6277f397ac65782318` to `3b3b4befb716fc9df4606909ff25162a5c8563a8`.
* Updates Carbon from `73a3734150c3a169dd95136397fb3b22f1040ded` to `07fc66e4c4da7b5b75f8ef571a4c0c0adab1dd35`.

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

bors bot commented Jul 17, 2023

Build failed:

@ArquintL
Copy link
Member

bors retry

@bors
Copy link
Contributor

bors bot commented Jul 17, 2023

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here.
For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

@bors bors bot merged commit e36d0d3 into master Jul 17, 2023
13 checks passed
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