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