about summary refs log tree commit diff
path: root/util
AgeCommit message (Expand)AuthorLines
2023-12-10refactor: use CSS vars for GitHub Corner colorsHamir Mahal-20/+10
2023-12-10fix: broken GitHub corner, with working dark/lightHamir Mahal-2/+78
2023-07-07Fix changelog PR listings, create them automatically in `fetch_prs_between.sh`Alex Macleod-3/+19
2023-06-26Port clippy away from compiletest to ui_testOli Scherer-2/+2
2023-06-17Fix version.py after deleting v* dirsPhilipp Krones-9/+16
2023-06-17Adapt versions.html file to cleaned up gh-pagesPhilipp Krones-6/+3
2023-06-03Clippy Lints page - Do not show filters in URL if configured as default valuesBrian Hetro-34/+24
2023-06-02Clippy Lints page - Fix path watch triggeringBrian Hetro-3/+3
2023-05-27Clippy Lints page - Do not show groups in URL parameters if reset to defaultsBrian Hetro-7/+12
2023-05-27Clippy Lints page - Delay updating of the URL in response to search inputBrian Hetro-9/+26
2023-05-26Handle back/forward when using URL parameters for filter statesBrian Hetro-3/+15
2023-05-26Use URL parameters for filter statesBrian Hetro-24/+153
2023-04-23SpellingJosh Soref-1/+1
2022-10-10fix: change command order and remove waste conditionunvalley-7/+5
2022-10-09feat: add Default to Lint groupsunvalley-2/+21
2022-07-16Auto merge of #9171 - Serial-ATA:highlight-js, r=xFrednetbors-4/+8
2022-07-13Update highlight.jsSerial-4/+8
2022-07-03Fixed commentalexey semenyuk-1/+1
2022-07-03Remove trailing spacesalexey semenyuk-10/+10
2022-07-01Fix linkalexey semenyuk-1/+1
2022-06-20Add description meta tag for lint listunvalley-0/+1
2022-06-06Add lint output to lint listSerial-0/+20
2022-05-22Strip `clippy::` prefix from search stringsSerial-0/+3
2022-05-19Auto-detect preferred colorschemeSerial-11/+23
2022-05-18`textContent` -> `innerHTML`Serial-3/+3
2022-05-18`innerHTML` -> `textContent`Serial-2/+2
2022-05-18Add copy lint name buttonSerial-0/+24
2022-05-15Improve appearance on smaller screensSerial-19/+9
2022-05-15Use early returnsSerial-15/+12
2022-05-14Switch input to `type=number`; Separate version validation out of `byVersion`Serial-57/+58
2022-05-05Use CamelCase; Fix filter rangesSerial-26/+28
2022-05-04Change input placeholderSerial-1/+1
2022-05-03Only require minor versionSerial-31/+47
2022-04-29Make filters implicit; Update symbolsSerial-25/+21
2022-04-26Move js out to its own fileSerial-374/+373
2022-04-26Add version filtering option to the lint listSerial-13/+151
2022-03-10Auto merge of #8070 - CrazyRoka:update-gh-pages-checkbox-styles, r=camsteffenbors-71/+211
2022-01-25Autofocus search inputRob Ede-0/+5
2022-01-13Update markdown-it versionAndrew Archibald-1/+1
2021-12-16Removed unused styles and labels in dropdownsCrazyRoka-55/+53
2021-12-16Added dropdown directive to theme-selectorCrazyRoka-54/+79
2021-12-16Improved performance by adding ng-ifCrazyRoka-1/+1
2021-12-16Fixed overlapping "Fork me" logoCrazyRoka-1/+1
2021-12-16Fixed theme selector and repositioned search inputCrazyRoka-8/+17
2021-12-16Fixed error in Firefox and selected button styleCrazyRoka-1/+9
2021-12-16Fixed styles on all themesCrazyRoka-11/+35
2021-12-16Updated badgeCrazyRoka-2/+6
2021-12-16Added badge to display selected elemenets countCrazyRoka-2/+5
2021-12-16Updated styles for checkboxesCrazyRoka-27/+96
2021-12-03Add margin after lists on Clippy's lint listxFrednet-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-09-16 20:44:40 +0000