Skip to content

CI: Fix zizmor issues - #10176

Merged
Turbo87 merged 2 commits into
rust-lang:mainfrom
Turbo87:zizmor
Dec 10, 2024
Merged

CI: Fix zizmor issues#10176
Turbo87 merged 2 commits into
rust-lang:mainfrom
Turbo87:zizmor

Conversation

@Turbo87

@Turbo87 Turbo87 commented Dec 10, 2024

Copy link
Copy Markdown
Member

@Turbo87 Turbo87 added the C-internal 🔧 Category: Nonessential work that would make the codebase more consistent or clear label Dec 10, 2024
@Turbo87
Turbo87 merged commit 4b33fdd into rust-lang:main Dec 10, 2024
@Turbo87
Turbo87 deleted the zizmor branch December 10, 2024 10:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

C-internal 🔧 Category: Nonessential work that would make the codebase more consistent or clear

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant