Skip to content

refactor: fix lint errors - #203

Merged
matejchalk merged 1 commit into
mainfrom
lint-fix
Nov 6, 2023
Merged

refactor: fix lint errors#203
matejchalk merged 1 commit into
mainfrom
lint-fix

Conversation

@matejchalk

@matejchalkmatejchalk commented Nov 6, 2023

Copy link
Copy Markdown
Collaborator

PRs #196 and #201 were merged just before #198, which is why the lint errors weren't caught by CI.

Failing lint job.

@TlacenkaTlacenka left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@matejchalk
matejchalk merged commit 213a4b8 into mainNov 6, 2023
@matejchalk
matejchalk deleted the lint-fix branch November 6, 2023 12:58
Sign up for freeto 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

@matejchalk@Tlacenka