Skip to content

style: lint #96

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

Merged
merged 1 commit into from
Aug 1, 2023
Merged

style: lint #96

merged 1 commit into from
Aug 1, 2023

Conversation

ianhi
Copy link
Collaborator

@ianhi ianhi commented Aug 1, 2023

I ran jlpm run lint to fix the errors in the build workflow that are popping up.

@github-actions
Copy link

github-actions bot commented Aug 1, 2023

Binder 👈 Launch a Binder on branch ianhi/jupyterlab-vim/lint

@krassowski krassowski added the bug Something isn't working label Aug 1, 2023
@ianhi ianhi added maintenance and removed bug Something isn't working labels Aug 1, 2023
@ianhi
Copy link
Collaborator Author

ianhi commented Aug 1, 2023

woops. the github ui keeps defeating me in seeing that you've just labelled these. didn't mean to fight you on multiple PRs with applying labels, just appeared as unlabelled to me.

@ianhi ianhi merged commit 72deaaf into jupyterlab-contrib:master Aug 1, 2023
@ianhi ianhi deleted the lint branch August 1, 2023 15:29
@krassowski
Copy link
Collaborator

No worries, the label you chose fits better :)

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

Successfully merging this pull request may close these issues.

2 participants