CI: run on push to main and set least-privilege workflow permissions#546
Merged
Codecov / codecov/project
succeeded
Jul 15, 2026 in 0s
No coverage information found on head
View this Pull Request on Codecov
No coverage information found on head
Loading