ci: drop dead dev branch trigger from 3 workflows #38

Merged

user2595 merged 1 commits from ci/drop-dev-triggers into main

2026-05-31 08:52:03 +00:00

Author	SHA1	Message	Date
Tarik Moussa	8298c5aacc	ci: drop the dev branch trigger from cpp-tests, doc-build, markdown-links Some checks failed C++ Tests / test-fast (pull_request) Failing after 2m7s Details C++ Tests / quality-gates (pull_request) Has been skipped Details C++ Tests / test-cgal (pull_request) Has been skipped Details The dev branch has been removed (trunk-based workflow: push to main, use short-lived feature branches + PRs for risky/reviewable changes). These three workflows still listed 'dev' as a push trigger — a dead reference now that the branch is gone. Removed so the CI config matches reality. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>	2026-05-31 10:51:46 +02:00