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
..
clippy.yml	Move testing of cargo dev new_lint to cargo dev workflow	2022-03-01 10:10:01 +00:00
clippy_bors.yml	Move testing of cargo dev new_lint to cargo dev workflow	2022-03-01 10:10:01 +00:00
clippy_dev.yml	Move testing of cargo dev new_lint to cargo dev workflow	2022-03-01 10:10:01 +00:00
deploy.yml	Update deploy CI	2021-07-28 14:16:31 +02:00
remark.yml	Use node v12.x in CI	2021-08-04 10:27:05 +09:00