Matthias be53c0885d Try moving coveralls to github actions		2019-11-16 15:53:45 +01:00
..
ci.yml	Try moving coveralls to github actions	2019-11-16 15:53:45 +01:00
docker_update_readme.yml	update checkout action to pinned version	2019-11-14 06:51:02 +01:00