25509e7135
Currently, the CI pipeline triggers `Lintcheck` for all PRs. However, this check takes significant amount of time and seems unnecessary for some certain directories that are frequently updated. r? flip1995 changelog: none |
||
|---|---|---|
| .. | ||
| clippy_changelog.yml | ||
| clippy_dev.yml | ||
| clippy_mq.yml | ||
| clippy_pr.yml | ||
| deploy.yml | ||
| lintcheck.yml | ||
| remark.yml | ||