Github workflows are run in duplicate on push and PR triggers

[ethanjli]

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.