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
..
2021-07-28 14:16:31 +02:00
2021-08-04 10:27:05 +09:00