Andreas Linde 5e776fc458 Prevent building twice when pushing to a PR (#2345) ... Created PRs and commit pushes to PRs are all already handled by `pull_request`. Having `push` without limitations causes 2 build runs on every PR commit push. Also the `push` scenario is only required for pushes (direct or merges) to the master branch.		2022-01-19 12:44:15 +01:00
..
ISSUE_TEMPLATE	Request debug level instead of trace	2021-07-26 12:56:24 +02:00
workflows	Prevent building twice when pushing to a PR (#2345)	2022-01-19 12:44:15 +01:00
FUNDING.yml	Create FUNDING.yml	2020-10-22 10:33:25 +02:00
issue_label_bot.yaml	Create issue_label_bot.yaml	2020-10-29 16:35:53 +01:00
stale.yml	Set stale delay to 20 days	2021-03-11 12:39:57 +01:00