You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

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.		4 years ago
..
ISSUE_TEMPLATE	Fix typo in bug report template	4 years ago
workflows	CICD: Don't run jobs twice in PRs	4 years ago
.codecov.yml	Disable code-coverage comments	4 years ago