13 commits

Author	SHA1	Message	Date
flip1995	7cd86aa1be	Merge commit '7c21f91b15b7604f818565646b686d90f99d1baf' into clippyup	2022-05-05 15:12:52 +01:00
flip1995	d1b087fdee	Merge commit 'dc5423ad448877e33cca28db2f1445c9c4473c75' into clippyup	2022-03-14 12:02:53 +01:00
flip1995	8fea1d94f3	Merge commit 'a5d597637dcb78dc73f93561ce474f23d4177c35' into clippyup	2021-12-06 12:33:31 +01:00
flip1995	091ed44b50	Merge commit '27afd6ade4bb1123a8bf82001629b69d23d62aff' into clippyup	2021-09-08 16:31:47 +02:00
flip1995	f03edfd7a1	Merge commit '4911ab124c481430672a3833b37075e6435ec34d' into clippyup	2020-12-20 17:19:49 +01:00
Eduardo Broto	cdb555f4fc	Merge commit 'bf1c6f9871f430e284b17aa44059e0d0395e28a6' into clippyup	2020-10-23 22:16:59 +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