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

Conversation

Copy link
Contributor

Copilot AI commented Nov 9, 2025

Replaces CircleCI configuration with GitHub Actions workflow for continuous integration.

Changes

  • .github/workflows/ci.yml: Two parallel jobs (test_debug, test_release) that checkout with submodules, install cmake/g++, build, and run ctest
  • README.md: Updated badge URL to point to GitHub Actions
  • .gitignore: Added build directory patterns (build*/, cmake-build-*/)
  • Security: Explicit permissions: contents: read on both jobs to minimize token scope
  • Removed: .circleci/ directory

Workflow triggers

  • Push to main or master
  • Pull requests targeting main or master

The workflow maintains functional parity with the previous CircleCI setup (same build types, same test execution).

Original prompt

Migrate from CircleCI to GitHub Actions for CI.


💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

Copilot AI and others added 4 commits November 9, 2025 17:57
Co-authored-by: chenpeizhi <8114085+chenpeizhi@users.noreply.github.com>
Co-authored-by: chenpeizhi <8114085+chenpeizhi@users.noreply.github.com>
Co-authored-by: chenpeizhi <8114085+chenpeizhi@users.noreply.github.com>
Co-authored-by: chenpeizhi <8114085+chenpeizhi@users.noreply.github.com>
Copilot AI changed the title [WIP] Migrate continuous integration from CircleCI to GitHub Actions Migrate CI from CircleCI to GitHub Actions Nov 9, 2025
Copilot AI requested a review from chenpeizhi November 9, 2025 18:04
Copy link
Contributor

@chenpeizhi chenpeizhi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me.

@chenpeizhi chenpeizhi marked this pull request as ready for review November 9, 2025 18:41
@chenpeizhi chenpeizhi merged commit 4e1e49b into master Nov 9, 2025
2 checks passed
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.

2 participants