about summary refs log tree commit diff
path: root/util
AgeCommit message (Expand)AuthorLines
2025-08-06Remove CSS bootstrap dependencyGuillaume Gomez-55/+325
2025-08-06Fix CSS indentGuillaume Gomez-12/+12
2025-08-05Generate lint count in template (#15414)Samuel Tardieu-13/+1
2025-08-05Generate lint count in templateAlex Macleod-13/+1
2025-08-04Fix not showing deprecated lintsAlexey Semenyuk-0/+1
2025-07-19Remove unused option fir LEVEL_FILTERS_DEFAULTAlexey Semenyuk-1/+0
2025-07-15gh-pages: reduce page size by skipping spacesklensy-1/+1
2025-07-09Reduce clippy lints page sizeGuillaume Gomez-179/+181
2025-07-04Simplify clippy lints page further (#15208)Samuel Tardieu-15/+14
2025-07-04Simplify clippy lints page furtherGuillaume Gomez-15/+14
2025-07-04Reduce page size and number of DOM elements on clippy lints page (#15140)Samuel Tardieu-18/+29
2025-06-26Lint docs: Sort versions, so that stable comes firstPhilipp Krones-3/+3
2025-06-25Reduce page size and number of DOM elements on clippy lints pageGuillaume Gomez-18/+29
2025-06-01Do not count deprecated lints in lint totalSamuel Tardieu-1/+1
2025-05-26Show total count lintsAlexey Semenyuk-1/+13
2025-04-23remove non-existent pathspec from pre-commit hookAda Alakbarova-1/+0
2025-03-09fix broken CSS linkslapla-cogito-4/+4
2025-01-30Fix expand/collapse all on site, make highlightjs lazierAlex Macleod-46/+81
2025-01-17fix version search in the websitelapla-cogito-2/+2
2024-12-05fix: various typosBD103-7/+7
2024-11-02Auto merge of #13585 - GuillaumeGomez:no-js, r=Alexendoobors-3/+22
2024-11-01Handle noscript style with "js" class on `<html>`.Guillaume Gomez-4/+9
2024-11-01Improve theme handling when JS is disabledGuillaume Gomez-1/+11
2024-11-01Improve display of clippy lints page when JS is disabledGuillaume Gomez-2/+6
2024-10-23Open lint when clicking on its anchorGuillaume Gomez-1/+11
2024-10-22Fix invalid lint ID filteringGuillaume Gomez-1/+1
2024-10-22Fix not working lint anchorGuillaume Gomez-8/+1
2024-10-20docs: remove stray commaRené Kijewski-1/+1
2024-10-18Auto merge of #13539 - GuillaumeGomez:allow-no-js, r=Alexendoobors-26/+44
2024-10-18Allow to go through clippy lints page without javascriptGuillaume Gomez-26/+44
2024-10-15Fix link to sourceAnastasis Georgoulas-1/+1
2024-10-11Auto merge of #13269 - GuillaumeGomez:rewrite-lints-page, r=Alexendoobors-888/+831
2024-10-03Greatly reduce generated HTML page sizeGuillaume Gomez-213/+205
2024-10-03Run syntax highlighting only when neededGuillaume Gomez-3/+13
2024-10-03Move inlined CSS into `style.css`Guillaume Gomez-32/+31
2024-10-03Replace rinja custom syntax with default syntaxGuillaume Gomez-12/+12
2024-10-03Move theme handling JS into its own file to make theme being applied before f...Guillaume Gomez-72/+71
2024-10-03Improve rendering speed by moving settings generation after theme renderingGuillaume Gomez-25/+28
2024-10-03Support version filter URL parametersGuillaume Gomez-0/+17
2024-10-03Add support for URL argumentsGuillaume Gomez-9/+115
2024-10-03Add support for version filteringGuillaume Gomez-8/+50
2024-10-03Support all filters except versionsGuillaume Gomez-51/+143
2024-10-03Put back interactions with settings menusGuillaume Gomez-86/+91
2024-09-24Remove unused import from Clippy versions.py filePhilipp Krones-1/+0
2024-09-24Merge commit '7901289135257ca0fbed3a5522526f95b0f5edba' into clippy-subtree-u...Philipp Krones-78/+84
2024-09-22Completely remove angular and generate parts of settings in JSGuillaume Gomez-447/+102
2024-09-22Finish porting lint functionalities to vanilla JSGuillaume Gomez-113/+140
2024-09-22Replace search with vanilla JSGuillaume Gomez-55/+42
2024-09-22Generate lint list in HTML directly instead of JSGuillaume Gomez-101/+110
2024-09-18Generate versions HTML directlyAlex Macleod-78/+84