Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Don't run build action on every PR (#898)
Merged this accidentally. FYI, the `workflow_dispatch` event means you can already trigger this workflow manually for a PR via the actions page.
- Loading branch information