Skip to content

Conversation

@TomMD
Copy link
Contributor

@TomMD TomMD commented Aug 4, 2020

This PR includes a configuration usable by Muse (https://github.com/marketplace/muse-dev). Specific to this configuration is:

  • Ignore dead store issues (they appear in the console but new ones are not commented back to github during code review)
  • Use a configure script to run auto tools, generate a makefile
  • Use make to understand the build and perform code analysis

After merging this, and installing the app, the bot will run infer and shellcheck on PRs then comment about new bugs.

@bagder bagder closed this in a1e0b79 Aug 4, 2020
@bagder
Copy link
Member

bagder commented Aug 4, 2020

Thanks! Now I'll add this and let's see...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

3 participants