14 commits

Author	SHA1	Message	Date
Alex Macleod	a31462a072	Enable cargo sparse registry in CI	2022-10-13 12:33:04 +00:00
David Tolnay	8ef4b8d248	Update GitHub Actions actions/checkout@v2 to v3 ... The v2 implementation uses Node 12, which is end-of-life on April 30, 2022. See https://nodejs.org/en/about/releases/. Update to v3, which is based on Node 16 whose support lasts until April 30, 2024.	2022-04-29 19:32:24 -07:00
flip1995	73944645aa	Move testing of cargo dev new_lint to cargo dev workflow ... This should be placed there. No need to run this in PR CI, if clippy_dev isn't touched. (It will be run by bors anyway)	2022-03-01 10:10:01 +00:00
Alex Macleod	608c9e8584	Run clippy_dev workflow on current rust-toolchain	2021-11-12 21:22:09 +00:00
Cameron Steffen	68b4a43e23	Remove stderr limit	2021-08-23 11:02:03 -05:00
flip1995	41cab83fdb	Fix toolchain installation in workflows	2020-12-10 10:53:19 +01:00
flip1995	2c8cd7d93c	Update actions due to deprecation of set-env and add-path	2020-10-09 09:17:48 +02:00
Jean SIMARD	b5d62335a4	[fix] Minor typo in GH Actions 'clippy_dev'	2020-04-16 13:51:37 +02:00
flip1995	deb1979b8e	Make limit_stderr_length a subcommand	2020-03-31 17:24:09 +02:00
flip1995	b0d25de54a	Use list instead of array for branch names ... This is the officially supported method	2020-02-12 11:03:39 +01:00
flip1995	b47dada167	Apply review comments	2020-02-12 09:34:28 +01:00
flip1995	abb095dded	Run bors checks unconditionally ... This is important, since bors doesn't know optional jobs. Otherwise bors would time out, when a check doesn't get run.	2020-02-12 09:34:28 +01:00
flip1995	b8b47ab6fe	Add bors dummy jobs	2020-02-12 09:34:28 +01:00
flip1995	1158c18ae7	Add clippy_dev checks to GitHub Actions	2020-02-12 09:34:25 +01:00