Add CI

[LioQing]

• add CI

[Copilot]

Pull request overview

This PR adds GitHub Actions CI configuration and refactors the coverage reporting scripts. The changes move from a PowerShell-only coverage approach to a cross-platform solution using a Rust program that both Windows and Unix systems can execute.

Changes:

• Added GitHub Actions CI workflow with build and checks jobs
• Refactored coverage logic from PowerShell script into a standalone Rust program
• Added shell script for Unix/Linux coverage execution
• Updated documentation to reflect the new cross-platform coverage approach

Reviewed changes

Copilot reviewed 1 out of 5 changed files in this pull request and generated 1 comment.

Show a summary per file

File	Description
.github/workflows/ci.yml	New CI workflow that runs build and formatting/linting checks on Ubuntu
coverage/coverage.rs	New Rust program that consolidates all coverage logic (previously in PowerShell)
coverage/run.sh	New shell script for Unix/Linux that compiles and runs the coverage Rust program
coverage/run.ps1	Simplified PowerShell script that now just compiles and runs the coverage Rust program
coverage/README.md	Updated documentation to reference both Windows and Unix scripts

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.