chore: cascade main → dev (3427f9f) [skip ci] #17

Merged
jmiller merged 1 commits from main into dev 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