uv
Deactivate zizmor due to GitHub ratelimiting
#16390
Merged

Deactivate zizmor due to GitHub ratelimiting #16390

woodruffw merged 1 commit into main from konsti/deactivate-zizmor
konstin
konstin Deactivate zizmor due to GitHub ratelimiting
8c307e7d
konstin konstin requested a review from woodruffw woodruffw 285 days ago
konstin konstin added internal
woodruffw
woodruffw approved these changes on 2025-10-21
woodruffw woodruffw enabled auto-merge (squash) 285 days ago
woodruffw woodruffw merged 1a53701d into main 285 days ago
woodruffw woodruffw deleted the konsti/deactivate-zizmor branch 285 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone