Mirrors/rust-clippy
2
0
Fork 0
mirror of https://github.com/rust-lang/rust-clippy synced 2024-11-23 21:23:56 +00:00
Code Issues Projects Releases Packages Wiki Activity
rust-clippy/.github
History
bors 6e86ab007c Auto merge of #8752 - Serial-ATA:improve-filtering, r=xFrednet 
Add version filtering option to the lint list

I'm no web dev, so I don't know if this is the best execution 😄.

Here's how it looks:

![Desktop](https://user-images.githubusercontent.com/69764315/165403602-9e39fe0f-6a96-46cb-ba51-8b035e74cce4.gif)

And on mobile:

![Mobile](https://user-images.githubusercontent.com/69764315/165403908-fc4a0051-2ed4-48a3-b45b-b261f49ce259.png)

I've split this into two commits, in the second one I moved the JS into its own file to make it easier to work on. Is that alright? And if so, could the same thing be done to the css?

changelog: none
cc: #7958, `@repi`
r? `@xFrednet`
2022-05-16 17:49:00 +00:00
..
ISSUE_TEMPLATE adding spell checking 2022-04-15 14:18:09 -07:00
workflows Update GitHub Actions actions/checkout@v2 to v3 2022-04-29 19:32:24 -07:00
deploy.sh Move js out to its own file 2022-04-26 18:22:37 -04:00
driver.sh Merge commit 'b20d4c155d2fe3a8391f86dcf9a8c49e17188703' into clippyup 2020-11-05 14:29:48 +01:00
PULL_REQUEST_TEMPLATE.md Merge commit '98e2b9f25b6db4b2680a3d388456d9f95cb28344' into clippyup 2021-04-22 11:31:13 +02:00