Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
CodeChecker runs various analysis tools. See https://github.com/Ericsson/codechecker
Currently, clang-tidy, clang static analyzer, and cppcheck are run.
Results are deployed to https://docs.seqan.de/codechecker/
In the future, we may want to set up the proper CodeChecker server, as it provides many more features.
codechecker.yaml
Contains command line options. This file is used by the
seqan/actions/codechecker
action.Environment variables are expended by CodeChecker.
codechecker.skip.analyze
The list is evaluated top to button.
The first matching path is used for any given file.
-
means do not analyze,+
means do analyze.Environment variables are not expended by CodeChecker.
seqan/actions/codechecker
replaces${GITHUB_WORKSPACE}
with its value for any.github/config/codechecker.skip*
file.The test directory is included because there wouldn't be any cpp files to build otherwise.
codechecker.skip.parse
Same as
codechecker.skip.analyze
, except that the test directory is excluded too.This means that the report will only consist of files in
include/seqan3
without the contrib directory.