Migrate CI from CircleCI to GitHub Actions and modernize test infrastructure - #1

Merged

chenpeizhi merged 11 commits into

copilot/migrate-ci-to-github-actions

Nov 9, 2025

Commits on Nov 9, 2025

Initial plan
Copilot
committed
72a5a64
Initial exploration of repository

Copilot
and
chenpeizhi
committed
37bd4b6
Add GitHub Actions workflow and update README badge

Copilot
and
chenpeizhi
committed
3c213a6
Remove CircleCI configuration

Copilot
and
chenpeizhi
committed
9df9832
Add explicit permissions to GitHub Actions workflow

Copilot
and
chenpeizhi
committed
91bde24
Update CI triggers and remove ycm figuration file
chenpeizhi
committed
deb933e
Update git submodule
chenpeizhi
committed
c19ec17
Update Catch2 to v3.4.0 and add dependabot configuration

Copilot
and
chenpeizhi
committed
614ef50
Update to Catch2 v3.11
chenpeizhi
committed
b2326d4
Migrate CI from CircleCI to GitHub Actions and modernize test infrastructure

Copilot
and
chenpeizhi
committed
fd84ee4
Revert "Migrate CI from CircleCI to GitHub Actions and modernize test infrastructure"
chenpeizhi
committed
df8e959