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

Update develop with last minute changes made to master #264

Merged

Conversation

rturrado
Copy link
Contributor

@rturrado rturrado commented Oct 18, 2024

Due to an issue with the cpp-linter-action, we had to do some last minute changes in master:

  • Move cpp-linters job to a Linters workflow.
  • Change cpp-linters job to run only for:
    • merges to develop, and
    • pull requests to develop.
  • Remove cpp-linters job from Test workflow.

This PR is updating develop with those last minute changes from master.


It also adds an extra change:

  • Remove files-changed-only and format-review linter options (thus using their false default value).

Explanation: if we expect some of our PRs to have a large diff, then we should disable any features that rely on having diff information:

  • lines-changed-only,
  • files-changed-only,
  • format-review, and
  • tidy-review.

For a more detailed explanation: cpp-linter/cpp-linter-action#274 (comment)

Change cpp-linters job to run only for:
- merges to develop, and
- pull requests to develop.
Remove cpp-linters job from Test workflow.
If we expect some of our PRs to have a large diff, then we should disable any features that rely on having diff information:
- lines-changed-only,
- files-changed-only,
- format-review, and
- tidy-review.

For a more detailed explanation: cpp-linter/cpp-linter-action#274 (comment)
@rturrado rturrado requested a review from elenbaasc October 18, 2024 10:55
@rturrado rturrado changed the title Update developwith last minute changes made to master Update develop with last minute changes made to master Oct 18, 2024
@rturrado rturrado merged commit a40b4f8 into develop Oct 18, 2024
22 checks passed
@rturrado rturrado deleted the update-develop-with-last-minute-changes-made-to-master branch October 18, 2024 14:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants