flip1995 26265bb9bc
ci: Sync clippy and clippy_bors workflows
Those workflows should always test exactly the same things
2021-03-05 10:27:30 +01:00
..
2020-10-09 11:49:54 +02:00