about summary refs log tree commit diff
path: root/.github
AgeCommit message (Collapse)AuthorLines
2025-01-28Merge remote-tracking branch 'upstream/master' into rustupPhilipp Krones-38/+73
2025-01-28exclude some directories from `Lintcheck` CI (#14084)Philipp Krones-1/+7
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-28exclude specific directories from `Lintcheck`lapla-cogito-1/+7
2025-01-26remove `clippy::double_neg`Kalle Wachsmuth-3/+3
2025-01-24set default changelog messages to fail the changelog CIlapla-cogito-4/+6
2025-01-13Update mdbook to 0.4.43Samuel Tardieu-1/+1
2025-01-10Also deploy index.html file on release (#13971)Catherine Flores-0/+2
I noticed that this was missing bf482928 while doing the release. No harm done, as it was updated on the next push to master. changelog: none
2025-01-10CI: rerun the changelog check on PR synchronizationSamuel Tardieu-1/+1
Rerunning the PR checks when a PR is synchronized (new commits added, or force-pushed) seems to remove the changelog checks from the UI while keeping the PR mergeable from the maintainer's interface. This PR reruns the cheap changelog check when a PR is synchronized.
2025-01-10CI: check the presence of the changelog line in every pull requestSamuel Tardieu-33/+58
Checking it only in the merge queue leads to deferred failures once the decision to merge has been taken already.
2025-01-09Merge commit '19e305bb57a7595f2a8d81f521c0dd8bf854e739' into ↵Philipp Krones-7/+51
clippy-subtree-update
2025-01-09Also deploy index.html file on releasePhilipp Krones-0/+2
2025-01-04CI: be compatible with both Rustup pre-1.28.0 and 1.28.0Samuel Tardieu-6/+15
`rustup show active-toolchain` will no longer install the default toolchain starting from Rustup 1.28.0, and `rustup toolchain install` without extra arguments is not supported in Rustup pre-1.28.0.
2025-01-03Make CI a little bit saferblyxyas-1/+36
2024-11-07Merge commit 'f712eb5cdccd121d0569af12f20e6a0fabe4364d' into ↵Philipp Krones-114/+75
clippy-subtree-update
2024-11-07Merge pull request #13587 from Kobzol/ci-remove-borsPhilipp Krones-113/+74
Switch CI from bors to merge queue
2024-11-07Remove path filterJakub Beránek-14/+0
It would cause issues with the required jobs, and it is probably useless anyway, the vast majority of PRs seem to change Rust source files.
2024-11-07Add conclusion job to PR CIJakub Beránek-0/+21
2024-10-28fix: usage of `a deprecated Node.js version`Hamir Mahal-1/+1
2024-10-25Switch CI from bors to merge queueJakub Beránek-99/+53
2024-10-18Merge commit 'a109190d7060236e655fc75533373fa274ec5343' into ↵Philipp Krones-1/+1
clippy-subtree-update
2024-10-11Auto merge of #13269 - GuillaumeGomez:rewrite-lints-page, r=Alexendoobors-1/+1
Rewrite lints page This PR has multiple goals: * Make lints page to work without needing a web server by removing the json file. * Prepare the field to also make the page work with JS (not done in this PR but should be straightforward). * Remove angular dependency. r? `@Alexendoo` changelog: make lint page work without web server
2024-10-03Merge commit 'aa0d551351a9c15d8a95fdb3e2946b505893dda8' into ↵Philipp Krones-1/+1
clippy-subtree-update
2024-10-03Move theme handling JS into its own file to make theme being applied before ↵Guillaume Gomez-0/+1
first rendering
2024-09-24Merge commit '7901289135257ca0fbed3a5522526f95b0f5edba' into ↵Philipp Krones-8/+5
clippy-subtree-update
2024-09-23Update actions/setup-node to v4Trivikram Kamat-1/+1
2024-09-22Generate lint list in HTML directly instead of JSGuillaume Gomez-1/+0
2024-09-18Generate versions HTML directlyAlex Macleod-6/+3
2024-09-04Bump actions/download-artifact from 3 to 4Philipp Krones-2/+2
2024-08-24Merge commit '0f8eabd6231366bfc1bb1464601297c2d48f8f68' into clippyupJason Newcomb-5/+1
2024-08-12Replace the metadata collector with testsAlex Macleod-5/+0
2024-08-11Auto merge of #13187 - GuillaumeGomez:settings-menu, r=Alexendoobors-0/+1
Add settings menu on clippy lints page It looks like this (when the menu is expanded): ![Screenshot from 2024-08-06 21-36-41](https://github.com/user-attachments/assets/c464aef3-b21e-48cc-8e3a-c32a134f995e) Follow-up of https://github.com/rust-lang/rust-clippy/pull/13178. Someone pointed out that they should be able to disable the shortcuts on this page like it's the case for rustdoc and docs.rs. So here we go. The first commit moves the style into its own file: it's much better for a web browser because it can then cache it. The second one actually adds the new settings menu you can see above. r? `@Alexendoo` changelog: Add settings menu on clippy lints page
2024-08-08Merge commit 'cb806113e0f83a8f9b47d35b453b676543bcc40e' into ↵Philipp Krones-17/+22
clippy-subtree-update
2024-08-06Auto merge of #13225 - Jarcho:warnings, r=flip1995bors-15/+20
Use `-D warnings` instead of `deny-warnings` feature. r? `@flip1995` changelog: none
2024-08-06Use `-D warnings` instead of `deny-warnings` feature.Jason Newcomb-15/+20
2024-08-03lintcheck: force warn all lintsAlex Macleod-2/+2
2024-07-30Move style into its fileGuillaume Gomez-0/+1
2024-07-25Merge commit '37f4fbb92913586b73a35772efd00eccd1cbbe13' into ↵Philipp Krones-6/+22
clippy-subtree-update
2024-07-22Lintcheck: Fix Errors, because of coursexFrednet-1/+1
2024-07-22Lintcheck: Include truncated diff in CI artifactsxFrednet-1/+4
2024-07-22Lintcheck: Order summary by lint and truncate messagesxFrednet-3/+10
2024-07-22Lintcheck: Limit summary size to 1024k and copy to logsxFrednet-1/+7
2024-07-19Lintcheck: New testset for Clippy's CI (200 crates for ~10 min)xFrednet-6/+6
2024-07-11Merge commit 'b794b8e08c16517a941dc598bb1483e8e12a8592' into ↵Philipp Krones-2/+2
clippy-subtree-update
2024-07-05Lintcheck: Add `--warn-all` and make it the CI defaultxFrednet-2/+2
2024-06-27Merge commit '68a799aea9b65e2444fbecfe32217ce7d5a3604f' into ↵Philipp Krones-0/+118
clippy-subtree-update
2024-06-23Cache lintcheck binary in ciAlex Macleod-41/+44
2024-06-15Add lintcheck diff github actionAlex Macleod-0/+115
2024-05-16Manually set library paths in .github/driver.shAlex Macleod-14/+15
2024-04-11Pin remark-lint-maximum-line-length versionAlex Macleod-1/+1
2024-03-13CI: replace `cancel-outdated-builds` with `concurrency` groupoJakub Beránek-24/+11