Closed nv-alaiacano closed 1 year ago
Github Actions have been being double-executed when a PR gets merged - the second because the PR is closed. We don't need to run it then.
closed
We've had similar PRs in other repos and I'll continue going through the rest.
Github Actions have been being double-executed when a PR gets merged - the second because the PR is
closed
. We don't need to run it then.We've had similar PRs in other repos and I'll continue going through the rest.