Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix(ci): don't trigger workflow on pull request
One of the few reasons to support pull_request events is to allow running the GitHub workflow on external pull requests. That cannot work at the moment, because our GitHub repository URL is hardcoded in `requirements.txt`
- Loading branch information