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.

Sign up for GitHub

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

Jump to bottom

Update tonic #1520

Merged

dorianvp merged 3 commits into zingolabs:dev from zancas:update_tonic

Nov 15, 2024

Member

zancas commented Nov 15, 2024 •

edited

Loading

Parallelize CI and local test.
Builds on #1519
Obsoletes #1436


          update tonic

bfed464

zancas mentioned this pull request

Bump tonic from 0.12.2 to 0.12.3 #1436

Closed


          Merge branch 'dev' into update_tonic

1c11905

Member Author

zancas commented Nov 15, 2024

Local tests pass.


          Merge branch 'dev' into update_tonic

18e12ff

dorianvp approved these changes

View reviewed changes

dorianvp merged commit 7ac182d into zingolabs:dev

2 of 9 checks passed

zancas deleted the update_tonic branch

November 30, 2024 05:54

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet