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.
This commit is contained in:
Andreas Linde 2022-01-19 12:44:15 +01:00 • committed by GitHub
parent 0b20593c39
commit 5e776fc458
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,6 +1,11 @@
name: Default
on: [push, pull_request, workflow_call]
on:
push:
branches:
- master
pull_request:
workflow_call:
jobs: