Skip to content

add explicit permissions for guthub actions#7

Open
dieharders wants to merge 1 commit intomainfrom
enhancement/github-actions-permissions
Open

add explicit permissions for guthub actions#7
dieharders wants to merge 1 commit intomainfrom
enhancement/github-actions-permissions

Commits

Commits on Aug 2, 2025