Martin Nordholts 0371f55541 CICD: Don't run jobs twice in PRs ...

Without this change, creating a PR triggers all jobs to run twice. Once
due to a push event and once due to a pull_request event.

Change to only trigger jobs due to push when pushing a tag or to the
master branch, to avoid duplicate jobs for each PR.

2021-02-22 21:45:52 +01:00

..

ISSUE_TEMPLATE

Fix typo in bug report template

2021-01-11 15:40:03 +02:00

workflows

CICD: Don't run jobs twice in PRs

2021-02-22 21:45:52 +01:00

.codecov.yml

Disable code-coverage comments

2020-08-02 21:51:23 +02:00