Skip to content

ci: use whole lint panel#5

Merged
shoenig merged 1 commit into
mainfrom
update-ci-deps
Aug 26, 2024
Merged

ci: use whole lint panel#5
shoenig merged 1 commit into
mainfrom
update-ci-deps

Conversation

@shoenig

@shoenig shoenig commented Aug 26, 2024

Copy link
Copy Markdown
Contributor

No description provided.

@shoenig shoenig merged commit ea672af into main Aug 26, 2024
@shoenig shoenig deleted the update-ci-deps branch August 26, 2024 01:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant