Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Enable linters workflow on PRs and disable nightly
I think that nightly is not really needed if we have it for PRs. Plus I left the manual dispatch so that we can start it as needed.
- Loading branch information