about summary refs log tree commit diff
path: root/util
AgeCommit message (Expand)AuthorLines
2021-12-03Add margin after lists on Clippy's lint listxFrednet-2/+2
2021-11-11New internal lint to make `clippy::version` attribute mandatoryxFrednet-1/+2
2021-11-10Updated version label and style on Clippy's lint listxFrednet-1/+7
2021-11-10Add clippy version to Clippy's lint listxFrednet-1/+4
2021-09-29Add includes to pre-commit hookMichael Wright-0/+1
2021-07-28Rollup merge of #7298 - flip1995:ci-switch-to-monster, r=xFrednet,flip1995Philipp Krones-202/+3
2021-07-28Adapting the lint list to Clippy's new metadata formatxFrednet-53/+146
2021-07-28Remove old python lint doc generation scriptsflip1995-202/+3
2021-07-01Merge remote-tracking branch 'upstream/master' into rustupflip1995-2/+81
2021-06-29Auto merge of #7409 - xFrednet:5394-vs-code-tasks, r=giraffate,flip1995bors-0/+57
2021-06-28Updated `clippy_dev` ui message and vscode task namexFrednet-1/+1
2021-06-27Added `cargo dev setup vscode-tasks` for simplicityxFrednet-0/+57
2021-06-25Add suspicious groupCameron Steffen-0/+1
2021-06-25Adjust pre-commit script to readd files after formattingxFrednet-1/+19
2021-06-25Added `cargo dev setup git-hook`xFrednet-0/+3
2021-06-21Delete spacesAlexander Melentyev-4/+4
2021-06-20Fixed broken deploy script due to multiline configuration docsxFrednet-2/+2
2021-06-03Merge commit '3ae8faff4d46ad92f194c2a4b941c3152a701b31' into clippyupflip1995-37/+0
2021-05-31Remove util/cov.sh scriptflip1995-37/+0
2021-05-06Merge commit 'b71f3405606d49b9735606b479c3415a0ca9810f' into clippyupflip1995-1/+1
2021-05-02Fix config parsingCameron Steffen-1/+1
2021-04-22Merge commit '98e2b9f25b6db4b2680a3d388456d9f95cb28344' into clippyupflip1995-1/+1
2021-04-14Fixed website inline code backgroundxFrednet-1/+1
2021-04-08Merge commit 'b40ea209e7f14c8193ddfc98143967b6a2f4f5c9' into clippyupflip1995-4/+187
2021-04-04Quick fix to access the correct css filesxFrednet-6/+5
2021-04-04Adding a dark theme to the clippy lint listxFrednet-4/+188
2021-01-30Merge commit '95c0459217d1661edfa794c8bb122452b92fb485' into clippyupflip1995-8/+4
2021-01-26Fix some website syntax highlightingCameron Steffen-1/+4
2021-01-02Merge commit '1fcc74cc9e03bc91eaa80ecf92976b0b14b3aeb6' into clippyupflip1995-23/+31
2020-12-22Fixed a value spelling mistakexFrednet-6/+6
2020-12-20Merge commit '4911ab124c481430672a3833b37075e6435ec34d' into clippyupflip1995-1/+41
2020-12-20Website issue tracker link and better search performancexFrednet-23/+31
2020-12-19Adapted the website search for better matchingxFrednet-1/+41
2020-05-07Fix nit and cargo.lockJack Huey-0/+7
2020-04-26Remove util/dev scriptPhilipp Hansch-7/+0
2020-04-20util/fetch_prs_between.sh: Add Markdown formatted LinkPhilipp Hansch-0/+1
2020-04-09Update doc generation scriptThibsG-4/+4
2020-03-25Also deploy from the beta branchflip1995-0/+3
2020-03-22Fix documentation generation for configurable lintsflip1995-2/+2
2020-02-14Rename current -> stableflip1995-2/+2
2020-02-13Better version ordering of documentationflip1995-2/+6
2020-02-13Sort versions in json outputflip1995-0/+42
2020-02-12Sort output of export.py scriptflip1995-1/+3
2020-01-30Deprecate util/dev in favor of cargo aliasPhilipp Hansch-0/+2
2019-10-22build: use shared target dirLzu Tao-1/+3
2019-10-22build: improve script and travis configLzu Tao-6/+7
2019-08-28Also fetch rollup merges in fetch_prs_between.sh scriptflip1995-1/+1
2019-08-18Ignore lines starting with '#'Jeremy Stucki-1/+12
2019-08-15Remove util/update_lints.pyPhilipp Hansch-10/+0
2019-08-12Filter out PRs with changelog: noneflip1995-1/+6
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-09-28 23:50:17 +0000