This repository was archived by the owner on Dec 29, 2023. It is now read-only.
This repository was archived by the owner on Dec 29, 2023. It is now read-only.
Github workflows are run in duplicate on push and PR triggers #10
Description
As can be seen for example in PR #9 on the checks for commit c8351b0, when a PR is created, it gets executed twice: once for the push trigger and once for the pull request trigger. Ideally, it would only be executed for the pull request trigger. There are two options:
- It might be possible to use the Skip Duplicate Actions to prevent the push trigger from running if the pull request trigger has already run
- Or maybe we will only enable the push trigger on the develop and production branches, and running the workflow on a feature branch can only be triggered either manually or with a PR. This might be a simpler solution, but it would prevent workflow success/failure from being associated with the commit.