Open jiribenes opened 1 month ago
Since we're using effekt-updater, the release CI runs twice (see here):
effekt-updater
release
We should employ concurrency groups to prevent it from running twice on the same commit (if possible): https://docs.github.com/en/actions/writing-workflows/choosing-what-your-workflow-does/control-the-concurrency-of-workflows-and-jobs
Since we're using
effekt-updater, thereleaseCI runs twice (see here):We should employ concurrency groups to prevent it from running twice on the same commit (if possible): https://docs.github.com/en/actions/writing-workflows/choosing-what-your-workflow-does/control-the-concurrency-of-workflows-and-jobs