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

README: removed old badge #2258

Merged
merged 1 commit into from
Jan 8, 2024
Merged

README: removed old badge #2258

merged 1 commit into from
Jan 8, 2024

Conversation

cheina97
Copy link
Member

@cheina97 cheina97 commented Jan 5, 2024

Description

This PR removes old CodeQL badge.

@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

cheina97 commented Jan 5, 2024

/rebase test=true

@cheina97
Copy link
Member Author

cheina97 commented Jan 8, 2024

/test

@cheina97
Copy link
Member Author

cheina97 commented Jan 8, 2024

/rebase test=true

1 similar comment
@aleoli
Copy link
Member

aleoli commented Jan 8, 2024

/rebase test=true

@cheina97
Copy link
Member Author

cheina97 commented Jan 8, 2024

/merge

@adamjensenbot adamjensenbot added the merge-requested Request bot merging (automatically managed) label Jan 8, 2024
@adamjensenbot adamjensenbot merged commit 804fd55 into liqotech:master Jan 8, 2024
13 checks passed
@adamjensenbot adamjensenbot removed the merge-requested Request bot merging (automatically managed) label Jan 8, 2024
@cheina97 cheina97 deleted the frc/badge branch January 9, 2024 08:15
@chenrui333 chenrui333 mentioned this pull request Mar 26, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@aleoli aleoli aleoli approved these changes

Assignees
No one assigned
Labels
size/XS
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@cheina97 @adamjensenbot @aleoli