This should be placed there. No need to run this in PR CI, if clippy_dev isn't touched. (It will be run by bors anyway) |
||
|---|---|---|
| .. | ||
| ISSUE_TEMPLATE | ||
| workflows | ||
| deploy.sh | ||
| driver.sh | ||
| PULL_REQUEST_TEMPLATE.md | ||
This should be placed there. No need to run this in PR CI, if clippy_dev isn't touched. (It will be run by bors anyway) |
||
|---|---|---|
| .. | ||
| ISSUE_TEMPLATE | ||
| workflows | ||
| deploy.sh | ||
| driver.sh | ||
| PULL_REQUEST_TEMPLATE.md | ||