Skip to content

Merge pull request #2033 from EliahKagan/gha-permissions #1226

Merge pull request #2033 from EliahKagan/gha-permissions

Merge pull request #2033 from EliahKagan/gha-permissions #1226

lint

succeeded May 30, 2025 in 13s