Skip to content

Migrate CI from CircleCI to GitHub Actions#2

Merged
chenpeizhi merged 7 commits intomasterfrom
copilot/migrate-ci-to-github-actions
Nov 9, 2025
Merged

Migrate CI from CircleCI to GitHub Actions#2
chenpeizhi merged 7 commits intomasterfrom
copilot/migrate-ci-to-github-actions

Commits

Commits on Nov 9, 2025