flip1995 6f25adbd5a Merge commit '2ca58e7dda4a9eb142599638c59dc04d15961175' into clippyup		2020-07-14 14:59:59 +02:00
..
clippy_bors.yml	Merge commit '2ca58e7dda4a9eb142599638c59dc04d15961175' into clippyup	2020-07-14 14:59:59 +02:00
clippy_dev.yml	[fix] Minor typo in GH Actions 'clippy_dev'	2020-04-16 13:51:37 +02:00
clippy.yml	Merge commit '7ea7cd165ad6705603852771bf82cc2fd6560db5' into clippyup2	2020-05-28 15:45:24 +02:00
deploy.yml	Always use the deploy script and templates of the master branch	2020-04-23 21:14:35 +02:00
remark.yml	Use list instead of array for branch names	2020-02-12 11:03:39 +01:00