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

Add codeQL scanning #26

Merged
merged 2 commits into from Aug 24, 2022
Merged

Add codeQL scanning #26

merged 2 commits into from Aug 24, 2022

Conversation

jlaehne
Copy link
Contributor

@jlaehne jlaehne commented Aug 23, 2022

Description of the change

Add github action for code scanning using the codeQL engine.

Run on PR, push and weekly schedule.

Progress of the PR

  • Change implemented (can be split into several points),
  • [n/a] update user guide (if appropriate) - no separate dev guide yet,
  • add a changelog entry in the upcoming_changes folder (see upcoming_changes/README.rst),
  • Check formatting changelog entry in the readthedocs doc build of this PR (link in github checks)
  • ready for review.

@codecov
Copy link

codecov bot commented Aug 23, 2022

Codecov Report

Merging #26 (8fa51e1) into main (72eea4e) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main      #26   +/-   ##
=======================================
  Coverage   82.82%   82.82%           
=======================================
  Files          40       40           
  Lines        8051     8051           
  Branches     1859     1859           
=======================================
  Hits         6668     6668           
  Misses        921      921           
  Partials      462      462           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@ericpre ericpre merged commit 83b8f32 into main Aug 24, 2022
@jlaehne jlaehne deleted the codeql-scanning branch August 24, 2022 21:16
@jlaehne jlaehne added this to the v0.1.0 initial release milestone Aug 29, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants