Reduce action spam when a PR source branch is on YosysHQ/yosys#4364
Merged
mmicko merged 8 commits intomainfrom krys/skip-duplicate-actionsMay 9, 2024
+149-86
Commits
Commits on May 8, 2024
- committed
- committed
- committed
- committed
- committed
- committed
