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

[Merged by Bors] - chore: configure fluvio-run build for armv7 #3444

Closed
wants to merge 11 commits into from

Conversation

digikata
Copy link
Contributor

@digikata digikata commented Aug 3, 2023

No description provided.

bors bot pushed a commit that referenced this pull request Aug 4, 2023
bors bot pushed a commit that referenced this pull request Aug 4, 2023
bors bot pushed a commit that referenced this pull request Aug 4, 2023
bors bot pushed a commit that referenced this pull request Aug 4, 2023
@digikata digikata force-pushed the spu-arm7-fluvio-run branch 2 times, most recently from 8f698c4 to 5e4bf46 Compare August 4, 2023 15:21
bors bot pushed a commit that referenced this pull request Aug 4, 2023
@digikata digikata force-pushed the spu-arm7-fluvio-run branch 4 times, most recently from 1f9c270 to befc11f Compare August 4, 2023 19:54
@digikata digikata marked this pull request as ready for review August 4, 2023 20:51
@digikata digikata requested review from sehz and morenol August 4, 2023 20:51
Copy link
Contributor

@sehz sehz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. Nice work

@sehz sehz added this to the 0.10.15 milestone Aug 4, 2023
@digikata
Copy link
Contributor Author

digikata commented Aug 4, 2023

bors r+

bors bot pushed a commit that referenced this pull request Aug 4, 2023
@bors
Copy link

bors bot commented Aug 4, 2023

Build failed:

@digikata digikata force-pushed the spu-arm7-fluvio-run branch from f89bacb to 6bb31f4 Compare August 4, 2023 22:46
@digikata
Copy link
Contributor Author

digikata commented Aug 4, 2023

bors r+

bors bot pushed a commit that referenced this pull request Aug 4, 2023
@bors
Copy link

bors bot commented Aug 4, 2023

Build failed:

morenol added a commit to morenol/fluvio that referenced this pull request Aug 5, 2023
* feat: Make k8 feature available in fluvio-run (infinyon#3446)

similar approach to infinyon#3444

* add feature flags for k8-related features

---------

Co-authored-by: morenol <[email protected]>
@digikata digikata force-pushed the spu-arm7-fluvio-run branch from 6bb31f4 to f08af91 Compare August 7, 2023 20:48
@digikata
Copy link
Contributor Author

digikata commented Aug 7, 2023

bors r+

bors bot pushed a commit that referenced this pull request Aug 7, 2023
@bors
Copy link

bors bot commented Aug 7, 2023

Build failed:

@digikata
Copy link
Contributor Author

digikata commented Aug 8, 2023

bors r+

bors bot pushed a commit that referenced this pull request Aug 8, 2023
@morenol
Copy link
Contributor

morenol commented Aug 8, 2023

@digikata there is a compilation issue related to one of the last changes added to main, let me create a PR for that

@morenol
Copy link
Contributor

morenol commented Aug 8, 2023

PR created @digikata #3459

Co-authored-by: Luis Moreno <[email protected]>
@bors
Copy link

bors bot commented Aug 8, 2023

Canceled.

@morenol
Copy link
Contributor

morenol commented Aug 8, 2023

bors retry

bors bot pushed a commit that referenced this pull request Aug 8, 2023
@bors
Copy link

bors bot commented Aug 8, 2023

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.
For more help, visit the forum.

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

  • Done

@bors bors bot changed the title chore: configure fluvio-run build for armv7 [Merged by Bors] - chore: configure fluvio-run build for armv7 Aug 8, 2023
@bors bors bot closed this Aug 8, 2023
@bors bors bot deleted the spu-arm7-fluvio-run branch August 8, 2023 01:55
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.

3 participants