Flori Weber b837508f41 Change Clippy CI to only run on main pushes or PRs		2023-06-19 16:30:46 +02:00
..
build_and_test.yml	Rename build_and_test, add clippy actions	2023-06-19 16:21:53 +02:00
clippy.yml	Change Clippy CI to only run on main pushes or PRs	2023-06-19 16:30:46 +02:00