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

Lint options #2

Open

archie94 wants to merge 1 commit into uh_dev from ci_linting

Collaborator

archie94 commented Jun 27, 2022

Signed-off-by: Arka Prava Basu [email protected]

PR Checklist:

I have tested this extensively and it does not break any existing behavior.
I have added/updated examples and tests for any new behavior.
If this is a significant change, an issue has already been created where the problem / solution was discussed: [N/A, or add link to issue here]

PR Description


          Lint options

6be09f1

Signed-off-by: Arka Prava Basu <[email protected]>

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

Labels

None yet