Start testing with github actions (#202)

The script `ci/test_dockerized.sh 8.0` can be used to run the exact same
tests locally.

Closes #198

Change the comment text to

Start testing with github actions (#202)

The script `ci/test_dockerized.sh 8.0` can be used to run the exact same
tests locally.

Closes #198

Change the comment text to avoid -Wimplicit-fallthrough to avoid noise
https://developers.redhat.com/blog/2017/03/10/wimplicit-fallthrough-in-gcc-7/

show more ...