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.

Sign up for GitHub

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

Jump to bottom

chore: add codeql ci #1490

Closed
wants to merge 3 commits into from
Closed

chore: add codeql ci #1490

wants to merge 3 commits into from

Conversation

jrichy1
Copy link
Contributor

@jrichy1 jrichy1 commented Jul 26, 2023 •
edited
Loading

🔗 Linked issue

❓ Type of change

  • 📖 Documentation (updates to the documentation or readme)
  • 🐞 Bug fix (a non-breaking change that fixes an issue)
  • 👌 Enhancement (improving an existing functionality like performance)
  • ✨ New feature (a non-breaking change that adds functionality)
  • ⚠️ Breaking change (fix or feature that would cause existing functionality to change)

📚 Description

📝 Checklist

  • I have linked an issue or discussion.
  • I have updated the documentation accordingly.

@jrichy1
Create SECURITY.md
6379835 
Signed-off-by: J-RICH <128091138+jrichy1@users.noreply.github.com>
@jrichy1
Create codeql.yml
8fb6996 
Signed-off-by: J-RICH <128091138+jrichy1@users.noreply.github.com>
@jrichy1
Merge branch 'main' into jrichy1-patch-1
7daafb0
@Hebilicious Hebilicious changed the title Jrichy1 patch 1 chore: add codeql ci Jul 26, 2023
@Hebilicious Hebilicious added the ci label Jul 26, 2023
@pi0 pi0 mentioned this pull request Aug 6, 2023
Merged
8 tasks
@pi0
Copy link
Member

pi0 commented Aug 6, 2023

Thanks for PR(s) dear @jrichy1. I tried to make final change to remove extra SECURITY.md but couldn't because don't have permissions to your fork.

image

It will be merged via #1542

@pi0 pi0 closed this Aug 6, 2023
@jrichy1
Copy link
Contributor Author

jrichy1 commented Aug 7, 2023

@pi0 im trying to give you access now

@jrichy1
Copy link
Contributor Author

jrichy1 commented Aug 7, 2023

Try it now

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
ci
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@jrichy1 @pi0 @Hebilicious