Skip to content

Fix catch includes in main#952

Merged
james-d-mitchell merged 3 commits into
libsemigroups:mainfrom
james-d-mitchell:fix-for-catch2-3.14.0
Apr 9, 2026
Merged

Fix catch includes in main#952
james-d-mitchell merged 3 commits into
libsemigroups:mainfrom
james-d-mitchell:fix-for-catch2-3.14.0

Conversation

@james-d-mitchell
Copy link
Copy Markdown
Member

This was caused by not updating the includes in the files present in main but not in stable-3.5.

@codecov
Copy link
Copy Markdown

codecov Bot commented Apr 9, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
⚠️ Please upload report for BASE (main@10ac79a). Learn more about missing BASE report.
⚠️ Report is 3 commits behind head on main.

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #952   +/-   ##
=======================================
  Coverage        ?   90.25%           
=======================================
  Files           ?      165           
  Lines           ?    22021           
  Branches        ?     2677           
=======================================
  Hits            ?    19876           
  Misses          ?     2145           
  Partials        ?        0           
Files with missing lines Coverage Δ
src/presentation-examples.cpp 98.45% <ø> (ø)

@james-d-mitchell james-d-mitchell merged commit 0b9b826 into libsemigroups:main Apr 9, 2026
64 of 65 checks passed
@james-d-mitchell james-d-mitchell deleted the fix-for-catch2-3.14.0 branch April 9, 2026 15:49
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.

1 participant