Merge pull request #357 from 3dgeo-heidelberg/pre-commit-ci-update-co… #1007
ci.yml
on: push
Coverage Testing
4m 33s
Address sanitizer run
4m 49s
Matrix: build-and-test