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

Feature/303 #2

Open
wants to merge 6 commits into
base: develop
Choose a base branch
from
Open

Feature/303 #2

wants to merge 6 commits into from

Conversation

lulivi
Copy link
Owner

@lulivi lulivi commented Jun 5, 2020

Summary

Details and comments

lulivi added 3 commits June 5, 2020 20:21
- Moved Markdown and Python formatting checks to GitHub Actions to allow
  more configurability.
- Reordered travis steps to check C/C++ files format before the static
  analysis (to avoid getting a format error after the long static
  analysis wait).
- Moved back to markdownlint-cli as the Markdown linter due to it's
  error hints. Also now with GitHub Actions, more configurability of
  the environment is allowed.

Related rticommunity#303
lulivi pushed a commit that referenced this pull request Feb 19, 2021
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.

1 participant