Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
github-ci: cancel on push, read only permissions
(cherry picked from commit ee1e5ab)
- Loading branch information