Trinity Pointard 88925ebe22 add clippy to the CI		2021-05-03 22:11:37 +02:00
..
Dockerfile	add clippy to the CI	2021-05-03 22:11:37 +02:00
Makefile	Use pre-prepared Docker image in CI to speed things up	2021-04-27 16:37:11 +02:00