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