[Merged by Bors] - Unify common dependencies #3442
Conversation
c410-f3r
force-pushed
the
misc
branch
2 times, most recently
from
c101a12
to
225aeb8
Compare
|
Looks like https://github.com/infinyon/fluvio/actions/runs/5754781767/job/15601307131 was spurious but now https://github.com/infinyon/fluvio/actions/runs/5788343499/job/15687610521?pr=3442 is showing a version mismatch. Needs more investigation on my side. |
|
@EstebanBorai CI looks OK now |
|
bors r+ |
|
Thank you guys! |
Continuation of #3408 To the best of my knowledge, all common dependencies are now sharing the same workspace definition.
|
Build failed: |
Error looks spurious |
|
bors r+ |
|
Merge conflict. |
|
@c410-f3r I just added a commit to solve conflicts with the changes of the last PR bors r+ |
Continuation of #3408 To the best of my knowledge, all common dependencies are now sharing the same workspace definition. Co-authored-by: morenol <22335041+morenol@users.noreply.github.com>
|
Build failed: |
|
bors retry |
Continuation of #3408 To the best of my knowledge, all common dependencies are now sharing the same workspace definition. Co-authored-by: morenol <22335041+morenol@users.noreply.github.com>
|
Pull request successfully merged into master. 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. If you want to switch to GitHub's built-in merge queue, visit their help page. |
bors
bot
changed the title
|
Thank you @morenol ! |
Continuation of #3408
To the best of my knowledge, all common dependencies are now sharing the same workspace definition.