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 to repository #24

Closed
3 tasks done
havencarlson opened this issue May 18, 2022 · 0 comments · Fixed by #25
Closed
3 tasks done

Add CodeQL to repository #24

havencarlson opened this issue May 18, 2022 · 0 comments · Fixed by #25

Comments

@havencarlson
Copy link
Contributor

Checklist (Please check before submitting)

  • I reviewed the Contributing Guide.
  • I reviewed the README file to see if the feature is in the major future work.
  • I performed a cursory search to see if the feature request is relevant, not redundant, nor in conflict with other tickets.

Is your feature request related to a problem? Please describe.
Use CodeQL for continuous integration

Describe the solution you'd like
Add CodeQL workflow

Describe alternatives you've considered
None

Additional context
Add any other context about the feature request here.

Requester Info
Haven Carlson

@havencarlson havencarlson self-assigned this May 18, 2022
havencarlson added a commit to havencarlson/MM that referenced this issue May 24, 2022
havencarlson added a commit to havencarlson/MM that referenced this issue Jun 8, 2022
astrogeco added a commit that referenced this issue Jun 17, 2022
@skliper skliper added this to the Draco milestone Jul 15, 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 a pull request may close this issue.

2 participants