Philipp Krones 25509e7135 exclude some directories from Lintcheck CI (#14084) ...

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

2025-01-28 10:29:58 +00:00

..

clippy_changelog.yml

set default changelog messages to fail the changelog CI

2025-01-24 11:47:21 +09:00

clippy_dev.yml

Make CI a little bit safer

2025-01-03 00:44:35 +01:00

clippy_mq.yml

CI: check the presence of the changelog line in every pull request

2025-01-10 17:23:10 +01:00

clippy_pr.yml

CI: be compatible with both Rustup pre-1.28.0 and 1.28.0

2025-01-04 23:12:32 +01:00

deploy.yml

Make CI a little bit safer

2025-01-03 00:44:35 +01:00

lintcheck.yml

exclude specific directories from Lintcheck

2025-01-28 19:13:25 +09:00

remark.yml

Update mdbook to 0.4.43

2025-01-13 16:55:42 +01:00