6c367cb83f
Update mdbook to 0.4.43
2025-01-13 16:55:42 +01:00
64250a3360
Also deploy index.html file on release ( #13971 )
...
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-10 21:10:08 +00:00
1bdee5b6b3
CI: rerun the changelog check on PR synchronization
...
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-10 18:17:55 +01:00
7639e82939
CI: check the presence of the changelog line in every pull request
...
Checking it only in the merge queue leads to deferred failures once the
decision to merge has been taken already.
2025-01-10 17:23:10 +01:00
55c8550221
Also deploy index.html file on release
2025-01-09 18:24:02 +01:00
12d3137560
CI: be compatible with both Rustup pre-1.28.0 and 1.28.0
...
`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-04 23:12:32 +01:00
7ac151508e
Make CI a little bit safer
2025-01-03 00:44:35 +01:00
a28c44fc96
Merge pull request #13587 from Kobzol/ci-remove-bors
...
Switch CI from bors to merge queue
2024-11-07 17:42:31 +00:00
843ef1b1f0
Remove path filter
...
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-07 18:32:06 +01:00
9ebe68d8c3
Add conclusion job to PR CI
2024-11-07 18:30:28 +01:00
d63322f0f4
fix: usage of a deprecated Node.js version
2024-10-28 09:04:16 -07:00
3338611c1b
Switch CI from bors to merge queue
2024-10-25 10:28:45 +02:00
6f1def79dd
Auto merge of #13269 - GuillaumeGomez:rewrite-lints-page, r=Alexendoo
...
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-11 14:18:54 +00:00
d52b9aa564
Move theme handling JS into its own file to make theme being applied before first rendering
2024-10-03 11:12:19 +02:00
f7b940ae7c
Update actions/setup-node to v4
2024-09-23 22:08:54 -07:00
b522e7a944
Generate lint list in HTML directly instead of JS
2024-09-22 22:30:44 +02:00
d2305ff634
Generate versions HTML directly
2024-09-18 18:51:54 +00:00
cdb442362b
Bump actions/download-artifact from 3 to 4
2024-09-04 18:28:38 +02:00
182cd5f278
Replace the metadata collector with tests
2024-08-12 20:24:46 +00:00
c7c8724897
Auto merge of #13187 - GuillaumeGomez:settings-menu, r=Alexendoo
...
Add settings menu on clippy lints page
It looks like this (when the menu is expanded):
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-11 18:42:37 +00:00
9d9a0dcb64
Auto merge of #13225 - Jarcho:warnings, r=flip1995
...
Use `-D warnings` instead of `deny-warnings` feature.
r? `@flip1995`
changelog: none
2024-08-06 14:58:50 +00:00
4e57b2c46f
Use -D warnings instead of deny-warnings feature.
2024-08-06 10:46:39 -04:00
d18ce7cea0
lintcheck: force warn all lints
2024-08-03 12:28:52 +00:00
b7e7975ded
Move style into its file
2024-07-30 16:01:36 +02:00
23b231a5d6
Lintcheck: Fix Errors, because of course
2024-07-22 18:19:37 +02:00
10bf729e3f
Lintcheck: Include truncated diff in CI artifacts
2024-07-22 18:10:03 +02:00
4fea5199e4
Lintcheck: Order summary by lint and truncate messages
2024-07-22 17:59:26 +02:00
4798383c33
Lintcheck: Limit summary size to 1024k and copy to logs
2024-07-22 17:59:09 +02:00
8940bc3c46
Lintcheck: New testset for Clippy's CI (200 crates for ~10 min)
2024-07-19 19:52:07 +02:00
25bb612538
Lintcheck: Add --warn-all and make it the CI default
2024-07-05 16:42:20 +02:00
2194304b05
Cache lintcheck binary in ci
2024-06-23 17:05:46 +00:00
feb0671893
Add lintcheck diff github action
2024-06-15 13:58:10 +00:00
821dc871af
Manually set library paths in .github/driver.sh
2024-05-16 21:11:58 +01:00
fb2e827c64
Pin remark-lint-maximum-line-length version
2024-04-11 14:17:10 +00:00
11c2bad059
CI: replace cancel-outdated-builds with concurrency groupo
2024-03-13 17:26:07 +01:00
ce4b81d2a7
Bump macOS CI version to 13
2024-02-29 14:54:37 +00:00
1d107ab2be
Remove $DIR replacement in test output
2024-02-17 12:34:54 +00:00
73706e8358
Makes clippy-driver check for --sysroot in arg files
...
Fixes https://github.com/rust-lang/rust-clippy/issues/12201
2024-01-29 10:53:05 -05:00
4c64d7cea2
ci: Update to actions/checkout@v4 from v3.
...
This also updates the book's section on CI for the same thing.
changelog: none
2023-12-26 18:43:16 -05:00
a7acfa263a
Run sanity check for integration tests first
...
If that test fails, running all other tests doesn't make sense. This test only
takes a few seconds to run. So running it right away will make the pipeline
fail faster.
2023-12-05 17:35:51 +01:00
c9a43b18f1
Merge commit 'f0cdee4a3f094416189261481eae374b76792af1' into clippy-subtree-sync
2023-12-01 18:21:58 +01:00
77c1e3aaa1
Merge commit '09ac14c901abc43bd0d617ae4a44e8a4fed98d9c' into clippyup
2023-11-02 17:35:56 +01:00
772296c50e
Merge commit '7671c283a50b5d1168841f3014b14000f01dd204' into clippyup
2023-09-25 11:28:58 +02:00
471469d30f
Merge commit '98363cbf6a7c3f8b571a7d92a3c645bb4376e4a6' into clippyup
2023-09-12 18:44:06 +02:00
b0e64a9c09
Merge commit '5436dba826191964ac1d0dab534b7eb6d4c878f6' into clippyup
2023-07-31 23:53:53 +02:00
d6d530fd0b
Merge commit 'd9c24d1b1ee61f276e550b967409c9f155eac4e3' into clippyup
2023-07-17 10:22:32 +02:00
cb3ecf7b79
Merge commit '37f4c1725d3fd7e9c3ffd8783246bc5589debc53' into clippyup
2023-07-02 14:59:02 +02:00
e6dc0efc00
Merge commit '30448e8cf98d4754350db0c959644564f317bc0f' into clippyup
2023-06-02 11:41:57 +02:00
b76b0aeb63
Merge commit '435a8ad86c7a33bd7ffb91c59039943408d3b6aa' into clippyup
2023-05-20 15:39:26 +02:00
7e9abb311d
Merge commit '371120bdbf58a331db5dcfb2d9cddc040f486de8' into clippyup
2023-05-05 17:45:49 +02:00
Samuel Tardieu