Merge branch 'ci-mypy-tools' into 'master'

ci/mypy: run checks separately for tools

See merge request !151
10 jobs from master in 2 minutes and 2 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #226661
docker linux amd64
test:augeas

00:00:27

passed #226667
docker linux amd64
test:comparative:kresd

00:02:02

passed #226662
docker linux amd64
test:flake8

00:00:22

passed #226668
docker linux amd64
test:latest:kresd

00:00:59

passed #226663
docker linux amd64
test:mypy

00:00:28

passed #226664
docker linux amd64
test:pylint

00:00:24

passed #226665
docker linux amd64
test:rplint

00:00:18

passed #226670
docker linux amd64
test:sanity:pdnsrecursor

00:00:30

passed #226669
docker linux amd64
test:sanity:unbound

00:00:29

passed #226666
docker linux amd64
test:unittests

00:00:20