sensorium / Mozzi

sound synthesis library for Arduino
https://sensorium.github.io/Mozzi/
GNU Lesser General Public License v2.1
1.05k stars 184 forks source link

Minor / infrastructure: Avoid duplicate workflow runs on pushes to PRs #225

Closed tfry-git closed 6 months ago

tfry-git commented 6 months ago

No real consequences of the current behavior, but I just cannot bear watching those poor github runners duplicating the entire "compile-examples" workflow, when pushing new commits to a PR.

Some folks have apparently figured out, how to avoid this: https://stackoverflow.com/questions/75714742/do-not-trigger-github-action-workflow-on-push-if-a-pr-is-open-on-the-branch

Or, should the above not work for some reason: https://github.com/fkirc/skip-duplicate-actions

tfry-git commented 6 months ago

Fixed with #227