Skip to content

Apply suggestions from zizmor#5

Merged
trendels merged 1 commit intomainfrom
github-actions
Apr 7, 2025
Merged

Apply suggestions from zizmor#5
trendels merged 1 commit intomainfrom
github-actions

Commits

Commits on Apr 7, 2025