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

Remove old CodeQL action #2136

Merged
merged 1 commit into from
Nov 13, 2023
Merged

Remove old CodeQL action #2136

merged 1 commit into from
Nov 13, 2023

Conversation

cheina97
Copy link
Member

Description

This PR removes an old CodeQL action configuration, it is disabled but the cron schedule still works.
It has already been replaced with the GitHub built-in version of CodeQL, enabled from the repository settings.

@adamjensenbot
Copy link
Collaborator

Hi @cheina97. Thanks for your PR!

I am @adamjensenbot.
You can interact with me issuing a slash command in the first line of a comment.
Currently, I understand the following commands:

  • /rebase: Rebase this PR onto the master branch (You can add the option test=true to launch the tests
    when the rebase operation is completed)
  • /merge: Merge this PR into the master branch
  • /build Build Liqo components
  • /test Launch the E2E and Unit tests
  • /hold, /unhold Add/remove the hold label to prevent merging with /merge

Make sure this PR appears in the liqo changelog, adding one of the following labels:

  • kind/breaking: 💥 Breaking Change
  • kind/feature: 🚀 New Feature
  • kind/bug: 🐛 Bug Fix
  • kind/cleanup: 🧹 Code Refactoring
  • kind/docs: 📝 Documentation

@cheina97
Copy link
Member Author

/rebase test=true

@cheina97
Copy link
Member Author

/merge

@adamjensenbot adamjensenbot added the merge-requested Request bot merging (automatically managed) label Nov 13, 2023
@adamjensenbot adamjensenbot merged commit ea2e830 into master Nov 13, 2023
8 checks passed
@adamjensenbot adamjensenbot deleted the frc/codeql branch November 13, 2023 11:38
@adamjensenbot adamjensenbot removed the merge-requested Request bot merging (automatically managed) label Nov 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants