ci: harden GitHub Actions permissions, add job timeouts, concurrency and coverage reporting - #951
Open
hazyhaar wants to merge 9 commits into
Open
ci: harden GitHub Actions permissions, add job timeouts, concurrency and coverage reporting#951hazyhaar wants to merge 9 commits into
hazyhaar wants to merge 9 commits into
Commits
Commits on Aug 28, 2026
- authored andcommitted

- authored andcommitted

- committed
- committed
- committed
- committed