The coveralls GitHub Action needs to run on push and pull-request, but
it doesn't make sense to run the full test-suite on every push since
the code has already been testing during the pull-request.
-> split coverage report and testing into two separate GitHub Actions
The coveralls GitHub Action needs to run on push and pull-request, but it doesn't make sense to run the full test-suite on every push since the code has already been testing during the pull-request. -> split coverage report and testing into two separate GitHub Actions