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

Fix nav/doris feature definition #256

Merged
merged 1 commit into from
Jul 23, 2024
Merged

Fix nav/doris feature definition #256

merged 1 commit into from
Jul 23, 2024

Conversation

gwbres
Copy link
Collaborator

@gwbres gwbres commented Jul 23, 2024

  • Some code portions are feature dependent, and CI/CD did not pick this up

 * Some code portion are feature dependent,
   and CI/CD did not pick this up

Signed-off-by: Guillaume W. Bres <guillaume.bressaix@gmail.com>
@gwbres gwbres added the bug-fix Fix proposal label Jul 23, 2024
@gwbres gwbres self-assigned this Jul 23, 2024
@gwbres gwbres merged commit 79b4c4a into main Jul 23, 2024
4 checks passed
@gwbres gwbres deleted the fix-build branch July 25, 2024 07:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug-fix Fix proposal
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant