dnrops
/
rust-clippy
mirror of https://github.com/rust-lang/rust-clippy.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
18,728 Commits 6 Branches 211 Tags 136 MiB
Commit Graph

191 Commits

Author SHA1 Message Date
Hamir Mahal 3168bcf949
refactor: use CSS vars for GitHub Corner colors 2023-12-10 17:28:26 -08:00
Hamir Mahal bafc1a2660
fix: broken GitHub corner, with working dark/light 2023-12-10 15:44:34 -08:00
Alex Macleod 28655266b5 Fix changelog PR listings, create them automatically in `fetch_prs_between.sh` 2023-07-07 12:07:05 +00:00
Oli Scherer 514b6d04bb Port clippy away from compiletest to ui_test 2023-06-26 14:13:07 +00:00
Philipp Krones 445f428a65
Fix version.py after deleting v* dirs 
I missed updating this file.

I also ran black and isort over it.
 2023-06-17 10:05:06 +02:00
Philipp Krones 60b7fde4ad
Adapt versions.html file to cleaned up gh-pages 2023-06-17 09:24:06 +02:00
Brian Hetro ac279efdbc Clippy Lints page - Do not show filters in URL if configured as default values 2023-06-03 00:04:19 -04:00
Brian Hetro 2e4ef8e72c Clippy Lints page - Fix path watch triggering 2023-06-02 22:57:21 -04:00
Brian Hetro f2e6a99a08 Clippy Lints page - Do not show groups in URL parameters if reset to defaults 2023-05-27 18:50:04 -04:00
Brian Hetro a865d8432c Clippy Lints page - Delay updating of the URL in response to search input 
Update on blur, enter keypress, and a debounced delay of 1000 ms.

This keeps the URL updated, but not distractingly so.
 2023-05-27 15:01:28 -04:00
Brian Hetro 7c1bca4be8 Handle back/forward when using URL parameters for filter states 2023-05-26 20:24:29 -04:00
Brian Hetro 5be2b27ed6 Use URL parameters for filter states 
This retains the settings during browser navigation and allows sharing links with additional configuration.
 2023-05-26 17:18:09 -04:00
Josh Soref d2061faf9e Spelling 
* applying
* binding
* complex
* constituent
* demonstrate
* desugaring
* exact
* expression
* for
* functionalities
* github
* implementation
* infers
* multiple conflicting traits
* mutable
* necessarily
* nightly
* nonexistent
* optional
* parameter
* reassignments
* resources
* substitution
* suggestion
* that
* that array is
* using the

Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
 2023-04-23 10:52:27 -04:00
unvalley 178799f9c1 fix: change command order and remove waste condition 2022-10-10 18:00:15 +09:00
unvalley 1688368b33 feat: add Default to Lint groups 2022-10-09 23:35:52 +09:00
bors 4562dd0a8e Auto merge of #9171 - Serial-ATA:highlight-js, r=xFrednet 
Update highlight.js

changelog: none

With [highlight.js v11.6.0](https://github.com/highlightjs/highlight.js/releases/tag/11.6.0), the lint list can finally update from `9.5.0`. No more EOL warning in console! 😄

I also made it switch to the `github-dark` theme when using `coal`, instead of just always using the normal github light theme.

r? `@xFrednet`
 2022-07-16 20:02:44 +00:00
Serial 08431cd17e Update highlight.js 2022-07-13 14:04:20 -04:00
alexey semenyuk 9ef76e051b
Fixed comment 2022-07-03 19:03:51 +00:00
alexey semenyuk 65655d1e1e
Remove trailing spaces 2022-07-03 17:44:09 +03:00
alexey semenyuk 7350525ffb
Fix link 2022-07-01 18:31:57 +00:00
unvalley 4e7ed42867 Add description meta tag for lint list 2022-06-20 00:19:08 +09:00
Serial fdadebe672 Add lint output to lint list 2022-06-06 20:04:56 -04:00
Serial 0fd03a85de Strip `clippy::` prefix from search strings 2022-05-22 15:24:47 -04:00
Serial 569505cebd Auto-detect preferred colorscheme 2022-05-19 18:33:16 -04:00
Serial e05da56d6b `textContent` -> `innerHTML` 2022-05-18 15:37:05 -04:00
Serial 8aae26b227 `innerHTML` -> `textContent` 2022-05-18 15:01:02 -04:00
Serial 27fec01fa8 Add copy lint name button 2022-05-18 10:19:50 -04:00
Serial f112e4d445 Improve appearance on smaller screens 2022-05-15 12:43:35 -04:00
Serial b81d703970 Use early returns 2022-05-15 11:30:00 -04:00
Serial a30587e0fe Switch input to `type=number`; Separate version validation out of `byVersion` 2022-05-14 20:08:10 -04:00
Serial 4ed52bf13e Use CamelCase; Fix filter ranges 2022-05-05 18:27:56 -04:00
Serial dd7bc86f22 Change input placeholder 2022-05-04 20:43:08 -04:00
Serial 2c70af3cd5 Only require minor version 2022-05-03 18:12:31 -04:00
Serial 9173780568 Make filters implicit; Update symbols 2022-04-29 19:57:16 -04:00
Serial 06cc1abbb1 Move js out to its own file 2022-04-26 18:22:37 -04:00
Serial bdc8961659 Add version filtering option to the lint list 2022-04-26 18:21:22 -04:00
bors 8ae74da63b Auto merge of #8070 - CrazyRoka:update-gh-pages-checkbox-styles, r=camsteffen 
Improve styles of filtering options for Clippy's lint list

Partially solves #7958

Updated styles for filtering options. It now uses dropdown menus.

![image](https://user-images.githubusercontent.com/19844144/144608479-cdd9de0b-f101-4d49-a135-0969efb01a11.png)

changelog: none
 2022-03-10 03:08:34 +00:00
Rob Ede a8e1352d78
Autofocus search input 2022-01-25 00:15:11 +00:00
Andrew Archibald 65c072d7e6 Update markdown-it version 2022-01-13 20:01:56 -07:00
CrazyRoka 296af08b3c Removed unused styles and labels in dropdowns 2021-12-16 19:01:31 +02:00
CrazyRoka 4161a67c1b Added dropdown directive to theme-selector 2021-12-16 18:57:59 +02:00
CrazyRoka bb531320eb Improved performance by adding ng-if 2021-12-16 18:57:59 +02:00
CrazyRoka dcfb756b97 Fixed overlapping "Fork me" logo 2021-12-16 18:57:59 +02:00
CrazyRoka 76e95e28c2 Fixed theme selector and repositioned search input 2021-12-16 18:57:59 +02:00
CrazyRoka e895d2b52a Fixed error in Firefox and selected button style 2021-12-16 18:57:59 +02:00
CrazyRoka f71039ae69 Fixed styles on all themes 2021-12-16 18:57:59 +02:00
CrazyRoka cb113d3a41 Updated badge 2021-12-16 18:57:59 +02:00
CrazyRoka 0f655db00d Added badge to display selected elemenets count 2021-12-16 18:57:59 +02:00
CrazyRoka a71f1997d8 Updated styles for checkboxes 2021-12-16 18:57:59 +02:00
xFrednet 17b747857f
Add margin after lists on Clippy's lint list 2021-12-03 20:24:23 +01:00