feat: clean up repo

- remove unnecessary mise-update (supplied by renovate-workflow instead) - make verify less spammy by cancelling concurrent runs
Okeanos · Mar 8, 2025 · 07e9b85 · 07e9b85
1 parent 862944f
commit 07e9b85
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 29 deletions.
diff --git a/.github/mise-update b/.github/mise-update
diff --git a/.github/workflows/verify.yml b/.github/workflows/verify.yml
@@ -37,6 +37,12 @@ on:
 permissions:
   contents: read
 
+# Cancel duplicate runs for this workflow if they happen for the same commit
+# Thus should help with duplicate runs caused by PRs, e.g. because of Renovate
+concurrency:
+  group: ${{ github.workflow }}-${{ github.sha }}
+  cancel-in-progress: true
+
 jobs:
   editorconfig:
     runs-on: ubuntu-latest