Skip to content

ci: retire develop branch; trunk-based workflow#8

Merged
Charliechen114514 merged 1 commit into
mainfrom
chore/retire-develop-branch
Jun 26, 2026
Merged

ci: retire develop branch; trunk-based workflow#8
Charliechen114514 merged 1 commit into
mainfrom
chore/retire-develop-branch

Conversation

@Charliechen114514

Copy link
Copy Markdown
Member

Retires the develop branch; switches to trunk-based development.

  • cpp-check / docs-check / docker-build-env: drop develop from triggers
  • cpp-check: simplify CI scope to always-full matrix (GCC+Clang+MSVC) — all PRs now target main, so the develop/label-gated Clang/MSVC opt-in is removed
  • cpp-check: add push:[main] trigger so main stays verified and seeds build/ccache caches for PRs (fixes per-PR cold-start)

develop's history is preserved in main via the PR #7 merge commit (adcfaa0); the develop branch itself is deleted after this lands.

- cpp-check/docs-check/docker-build-env: drop develop from triggers
- cpp-check: simplify CI scope to always-full matrix (GCC+Clang+MSVC); all PRs now target main, so the develop/label-gated Clang/MSVC opt-in is removed
- cpp-check: add push:[main] trigger so main stays verified and seeds build/ccache caches for PRs (avoids per-PR cold-start)

develop's history is preserved in main via the PR #7 merge commit (adcfaa0); the develop branch itself is removed next.
@Charliechen114514 Charliechen114514 merged commit 2d78302 into main Jun 26, 2026
6 checks passed
@Charliechen114514 Charliechen114514 deleted the chore/retire-develop-branch branch June 26, 2026 02:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant