Skip to content

ci: BI-0 fix high zizmor issues - #777

Merged
ovsds merged 1 commit into
mainfrom
ovsds/fix_zizmor
Jan 9, 2025
Merged

ci: BI-0 fix high zizmor issues#777
ovsds merged 1 commit into
mainfrom
ovsds/fix_zizmor

Conversation

@ovsds

@ovsds ovsds commented Jan 9, 2025

Copy link
Copy Markdown
Contributor

No description provided.

@github-actions github-actions Bot added the type/ci CI label Jan 9, 2025
@ovsds
ovsds marked this pull request as ready for review January 9, 2025 09:42
@ovsds

ovsds commented Jan 9, 2025

Copy link
Copy Markdown
Contributor Author

@ovsds
ovsds merged commit 2271964 into main Jan 9, 2025
@ovsds
ovsds deleted the ovsds/fix_zizmor branch January 9, 2025 10:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants