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

Create codeql.yml #2149

Merged
merged 1 commit into from
Nov 22, 2023
Merged

Create codeql.yml #2149

merged 1 commit into from
Nov 22, 2023

Conversation

cheina97
Copy link
Member

This PR adds the CodeQL action configuration file for a more granular setup.

@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

.github/workflows/codeql.yml Outdated Show resolved Hide resolved
.github/workflows/codeql.yml Outdated Show resolved Hide resolved
.github/workflows/codeql.yml Outdated Show resolved Hide resolved
@cheina97
Copy link
Member Author

/test

@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 22, 2023
@cheina97
Copy link
Member Author

/rebase test=true

@adamjensenbot adamjensenbot removed the merge-requested Request bot merging (automatically managed) label Nov 22, 2023
@cheina97
Copy link
Member Author

/merge

@adamjensenbot adamjensenbot added the merge-requested Request bot merging (automatically managed) label Nov 22, 2023
@adamjensenbot adamjensenbot merged commit 97721cc into master Nov 22, 2023
12 checks passed
@adamjensenbot adamjensenbot deleted the codeql branch November 22, 2023 14:15
@adamjensenbot adamjensenbot removed the merge-requested Request bot merging (automatically managed) label Nov 22, 2023
@cheina97 cheina97 added the kind/feature New feature or request label Nov 30, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind/feature New feature or request size/L
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants