-
Notifications
You must be signed in to change notification settings - Fork 527
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
Use mina toolchain instead of ci-toolchain-base #15792
Conversation
!ci-build-me |
This reverts commit 6907171ba8d2e938eac55d90d2afdcfbac514983.
This reverts commit 113fa24bd1c01f4e44a30209b049ec74477465e8.
This reverts commit d74012fd19091b7d13c84e76a3148cb98813fb5f.
This reverts commit 11dd5b0ed16ec48fe416a401b82b27c8723b3cbd.
!ci-build-me |
!help-merge-me |
Hello, @dkijania 2 new created to help you port this change to master. Please follow steps to resolve conflict for each mainline branch. PRs will be created automatically after you push merge to porting branches compatible
Resolve conflict and then
develop
Resolve conflict and then
|
Porting branch #15795 to resolve conflict with compatible created. Please merge it in order to solve conflict between head of this PR and compatible |
Porting branch #15796 to resolve conflict with develop created. Please merge it in order to solve conflict between head of this PR and develop |
!ci-build-me |
I will hold with merging this one as looks like disable smugding in CI solves issue |
We are experiencing issues on merges jobs in CI. This PR is an attempt to fix this situation. We will use toolchain with git-lfs