Skip to content

Remove quotes from AE no-main CI regex#1827

Merged
yuleisui merged 2 commits into
SVF-tools:masterfrom
bjjwwang:0506-master-compatible
May 20, 2026
Merged

Remove quotes from AE no-main CI regex#1827
yuleisui merged 2 commits into
SVF-tools:masterfrom
bjjwwang:0506-master-compatible

Conversation

@bjjwwang

Copy link
Copy Markdown
Contributor

No description provided.

@bjjwwang bjjwwang force-pushed the 0506-master-compatible branch from 1d8320d to fa936c9 Compare May 20, 2026 01:42
@yuleisui yuleisui marked this pull request as ready for review May 20, 2026 01:52
Copilot AI review requested due to automatic review settings May 20, 2026 01:52

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Pull request overview

Adjusts CI configuration to change how the ae_no_main CTest subset is selected, and slightly raises the Codecov project coverage target.

Changes:

  • Update GitHub Actions CI to run ctest -R ae_no_main instead of the previously quoted/anchored regex.
  • Increase Codecov project default coverage target from 64.00% to 64.30%.

Reviewed changes

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

File Description
.github/workflows/github-action.yml Changes the ctest -R pattern used for the ae_no_main CI step.
.codecov.yml Updates the project coverage target threshold.

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

Comment on lines 120 to +121
run:
ctest -R "^ae_no_main/" -VV
ctest -R ae_no_main -VV
@codecov

codecov Bot commented May 20, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 64.44%. Comparing base (49d96a0) to head (3bfe2eb).
⚠️ Report is 1 commits behind head on master.

Additional details and impacted files

Impacted file tree graph

@@           Coverage Diff           @@
##           master    #1827   +/-   ##
=======================================
  Coverage   64.44%   64.44%           
=======================================
  Files         252      252           
  Lines       25208    25208           
  Branches     4768     4768           
=======================================
  Hits        16246    16246           
  Misses       8962     8962           
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@yuleisui yuleisui merged commit 5c45081 into SVF-tools:master May 20, 2026
9 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.

3 participants