Skip to content

Remove ci matrix options which are off#815

Merged
mcbarton merged 1 commit intocompiler-research:mainfrom
mcbarton:remove-off-options-ci-matrix
Feb 18, 2026
Merged

Remove ci matrix options which are off#815
mcbarton merged 1 commit intocompiler-research:mainfrom
mcbarton:remove-off-options-ci-matrix

Conversation

@mcbarton
Copy link
Copy Markdown
Collaborator

Off is the default for a matrix option, so these options being set to off is redundant I believe.

@mcbarton mcbarton requested a review from vgvassilev February 17, 2026 19:20
@codecov
Copy link
Copy Markdown

codecov bot commented Feb 17, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 79.56%. Comparing base (aa3009a) to head (1bb10c7).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files

Impacted file tree graph

@@           Coverage Diff           @@
##             main     #815   +/-   ##
=======================================
  Coverage   79.56%   79.56%           
=======================================
  Files          11       11           
  Lines        4012     4012           
=======================================
  Hits         3192     3192           
  Misses        820      820           
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

Copy link
Copy Markdown
Contributor

@vgvassilev vgvassilev left a comment

Choose a reason for hiding this comment

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

LGTM!

@mcbarton mcbarton force-pushed the remove-off-options-ci-matrix branch from 2546dc2 to 6e5b9cf Compare February 18, 2026 07:17
@mcbarton mcbarton force-pushed the remove-off-options-ci-matrix branch from 6e5b9cf to 1bb10c7 Compare February 18, 2026 15:51
@mcbarton mcbarton merged commit 70e15fd into compiler-research:main Feb 18, 2026
34 checks passed
keremsahn pushed a commit to keremsahn/CppInterOp that referenced this pull request Mar 5, 2026
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