Skip to content

Conversation

@WindzCUHK
Copy link
Contributor

@WindzCUHK WindzCUHK commented Jan 22, 2023

Signed-off-by: wfan wfan@yahoo-corp.jp

Description

  • add github action for coverage, lint and vulnerability
  • fix lint problems

Type of change

  • Bug fix
  • New feature
  • Refactoring (no functional changes, no api changes)
  • Non-code changes (update documentation, pipeline, etc.)

Flags

  • Breaks backward compatibility
  • Requires a documentation update
  • Has untestable code

Checklist

  • Followed the guidelines in the CONTRIBUTING document
  • Added prefix [skip ci]/[ci skip]/[no ci]/[skip actions]/[actions skip] in the PR title if necessary
  • Tested and linted the code
  • Commented the code
  • Made corresponding changes to the documentation
  • Passed all pipeline checking

Checklist for maintainer

  • Use Squash and merge
  • Double-confirm the merge message has prefix [skip ci]/[ci skip]/[no ci]/[skip actions]/[actions skip]
  • Delete the branch after merge

Signed-off-by: wfan <wfan@yahoo-corp.jp>
@codecov-commenter
Copy link

codecov-commenter commented Jan 22, 2023

Welcome to Codecov 🎉

Once you merge this PR into your default branch, you're all set! Codecov will compare coverage reports and display results in all future pull requests.

Thanks for integrating Codecov - We've got you covered ☂️

Signed-off-by: wfan <wfan@yahoo-corp.jp>
Signed-off-by: wfan <wfan@yahoo-corp.jp>
Signed-off-by: wfan <wfan@yahoo-corp.jp>
Signed-off-by: wfan <wfan@yahoo-corp.jp>
Signed-off-by: wfan <wfan@yahoo-corp.jp>
Signed-off-by: wfan <wfan@yahoo-corp.jp>
Signed-off-by: wfan <wfan@yahoo-corp.jp>
Signed-off-by: wfan <wfan@yahoo-corp.jp>
@WindzCUHK WindzCUHK changed the title add lint add github action for coverage, lint and vulnerability Jan 22, 2023
@mlajkim mlajkim self-requested a review February 27, 2024 02:39
@mlajkim mlajkim added the enhancement New feature or request label Mar 28, 2024
@mlajkim
Copy link
Contributor

mlajkim commented Dec 12, 2024

@WindzCUHK
Fix the conflicts please

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants