Skip to content

Fix zizmor findings on CI#460

Merged
hugovk merged 3 commits into
mainfrom
fix-zizmor
Dec 20, 2024
Merged

Fix zizmor findings on CI#460
hugovk merged 3 commits into
mainfrom
fix-zizmor

Conversation

@hugovk

@hugovk hugovk commented Dec 7, 2024

Copy link
Copy Markdown
Owner

Also use uv for linting.

@hugovk hugovk added the changelog: skip Exclude PR from release draft label Dec 7, 2024
@hugovk hugovk force-pushed the fix-zizmor branch 2 times, most recently from 5c3f8ca to f20ed6d Compare December 8, 2024 11:24
@hugovk hugovk merged commit 696d4e1 into main Dec 20, 2024
@hugovk hugovk deleted the fix-zizmor branch December 20, 2024 13:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog: skip Exclude PR from release draft

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant