Merge pull request 'chore: cascade main → dev (3427f9f) [skip ci]' (#17) from main into dev

chore: cascade main → dev [skip ci]
This commit was merged in pull request #17.
This commit is contained in:
2026-05-20 01:50:01 +00:00
-4
View File
@@ -16,10 +16,6 @@
name: "Generic: Repo Health"
concurrency:
group: repo-health-${{ github.repository }}-${{ github.ref }}
cancel-in-progress: true
defaults:
run:
shell: bash