diff options
| author | bors <bors@rust-lang.org> | 2023-06-03 11:39:02 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-06-03 11:39:02 +0000 |
| commit | a97a94ab17769f1f11c96a26ed933eab21b06d86 (patch) | |
| tree | 6f2bb9589dbe89a7ca9fd12f20da8e8000cd6578 /tests/mir-opt/lower_array_len.array_len_raw.NormalizeArrayLen.panic-unwind.diff | |
| parent | c85ceeae3f1b61de9334b3abe427fa8312723239 (diff) | |
| parent | ac279efdbc5f4a0f1e8edaa629154db811428beb (diff) | |
| download | rust-a97a94ab17769f1f11c96a26ed933eab21b06d86.tar.gz rust-a97a94ab17769f1f11c96a26ed933eab21b06d86.zip | |
Auto merge of #10834 - whee:gh-pages-retain-filter-state, r=xFrednet
Use URL parameters for filter states This fixes #8510 by storing Clippy Lints page filter configuration in the URL parameters. This includes: - Lint levels - Lint groups - Version filters "Filter" was already present in the URL and its behavior is retained. There is existing support for passing a `sel` query parameter; this is also retained, but I am not sure if it used in the wild. The URL parameters only get included if they are modified after loading the page. I have these changes available here in case people want to play with it: https://whee.github.io/rust-clippy/master/ An example with levels, groups, and versions set (oddly): https://whee.github.io/rust-clippy/master/#/?groups=pedantic,perf&levels=allow,warn&versions=gte:53,lte:57,eq:54 Adding a filter: https://whee.github.io/rust-clippy/master/#/manual_str_repeat?groups=pedantic,perf&levels=allow,warn&versions=gte:53,lte:57,eq:54 --- changelog: Docs: [`Clippy's lint list`] now stores filter parameters in the URL, to allow easy sharing [#10834](https://github.com/rust-lang/rust-clippy/pull/10834) <!-- changelog_checked -->
Diffstat (limited to 'tests/mir-opt/lower_array_len.array_len_raw.NormalizeArrayLen.panic-unwind.diff')
0 files changed, 0 insertions, 0 deletions