Merge pull request 'ci: drop dead dev branch trigger from 3 workflows' (#38) from ci/drop-dev-triggers into main
Some checks failed
C++ Tests / test-fast (push) Failing after 2m5s
C++ Tests / quality-gates (push) Has been skipped
API Docs / doc-build (push) Has been skipped
Markdown link check / check (push) Has been skipped
Mirror to Codeberg / mirror (push) Successful in 26s
C++ Tests / test-cgal (push) Has been skipped

This commit is contained in:
2026-05-31 08:52:02 +00:00
3 changed files with 0 additions and 3 deletions

View File

@@ -17,7 +17,6 @@ on:
push: push:
branches: branches:
- main - main
- dev
- "claude/**" - "claude/**"
- "feature/**" - "feature/**"
- "review/**" - "review/**"

View File

@@ -10,7 +10,6 @@ on:
push: push:
branches: branches:
- main - main
- dev
- "claude/**" - "claude/**"
- "feature/**" - "feature/**"
- "review/**" - "review/**"

View File

@@ -14,7 +14,6 @@ on:
push: push:
branches: branches:
- main - main
- dev
- "claude/**" - "claude/**"
- "feature/**" - "feature/**"
- "review/**" - "review/**"