-
Notifications
You must be signed in to change notification settings - Fork 351
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 compilation on Linux #2529
Fix compilation on Linux #2529
Conversation
…#2406 Renaming the PublicApi directory to PublicAPI fixed compilation on Linux devices. This influences CI/CD pipelines and developers on Linux machines in general.
This PR has Quantification details
Why proper sizing of changes matters
Optimal pull request sizes drive a better predictable PR flow as they strike a
What can I do to optimize my changes
How to interpret the change counts in git diff output
Was this comment helpful? 👍 :ok_hand: :thumbsdown: (Email) |
@AntiGuideAkquinet could you try to re-create this PR from a different branch? I've not been able to re-run the build pipeline on this PR. |
Or make add a new commit and see whether it triggers the pipeline. |
I have created a new duplicate PR (#2549) and rebased changes from master and now the pipeline is running. It seems to have triggered the pipeline for this PR as well. |
I merged the other PR (#2549). Closing this one. |
Issues
This pull request fixes #2406.
Description
Renaming the PublicApi directory to PublicAPI fixed compilation on Linux devices. This influences CI/CD pipelines and developers on Linux machines in general.
Checklist (Uncheck if it is not completed)