Revert "Maybe solve PR commits not running Actions"
Revert "Maybe solve PR commits not running Actions"

This reverts commit 10881490468f23de536b773e128aedd577bc2b69.

Doesn't seem to be a good idea... still no idea why the PR actions
did not run but as CI failed after the merge apparently:

> However, instead of running against the workflow and code from the merge commit, the event runs against the workflow and code from the base of the pull request.

really does mean it's the same code as the base... sigh.

colszowka/simplecov,colszowka/simplecov