Skip to content

Bump Catch2 -> v3.13.0#931

Open
james-d-mitchell wants to merge 2 commits intolibsemigroups:stable-3.5from
james-d-mitchell:catch-v3.13.0
Open

Bump Catch2 -> v3.13.0#931
james-d-mitchell wants to merge 2 commits intolibsemigroups:stable-3.5from
james-d-mitchell:catch-v3.13.0

Conversation

@james-d-mitchell
Copy link
Copy Markdown
Member

This PR updates libsemigroups to use the latest version of Catch2 (v3.13.0).

@codecov
Copy link
Copy Markdown

codecov bot commented Mar 26, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 90.03%. Comparing base (316dfc9) to head (4df21cb).
⚠️ Report is 4 commits behind head on stable-3.5.
✅ All tests successful. No failed tests found.

Additional details and impacted files
@@             Coverage Diff             @@
##           stable-3.5     #931   +/-   ##
===========================================
  Coverage       90.03%   90.03%           
===========================================
  Files             163      163           
  Lines           21896    21904    +8     
  Branches         2678     2678           
===========================================
+ Hits            19713    19721    +8     
  Misses           2183     2183           

see 1 file with indirect coverage changes

@james-d-mitchell
Copy link
Copy Markdown
Member Author

@Joseph-Edwards can you reproduce the warnings that cause the one ci job to fail? I can't nor can I see any issues with the lines that it is complaining about.

@Joseph-Edwards
Copy link
Copy Markdown
Collaborator

@Joseph-Edwards can you reproduce the warnings that cause the one ci job to fail? I can't nor can I see any issues with the lines that it is complaining about.

I'll have a look now and report back

@Joseph-Edwards
Copy link
Copy Markdown
Collaborator

I can reproduce the errors. Will try and debug after my teaching at 1.

@james-d-mitchell
Copy link
Copy Markdown
Member Author

Looks like there's a bug in Catch2 v3.13.0 that is causing this failure. @Joseph-Edwards is going to open an issue about it.

@Joseph-Edwards
Copy link
Copy Markdown
Collaborator

I think I've found the bug. Opening a PR into Catch2 now, and will link here when it's done

@Joseph-Edwards
Copy link
Copy Markdown
Collaborator

I have just locally applied my patch to the new copy of Catch2 and it seems to fix the issues when building test-transf.hpp. @james-d-mitchell, do you think it's worth waiting for a new Catch2 release, or should we fix the issue locally ourselves?

@james-d-mitchell
Copy link
Copy Markdown
Member Author

I have just locally applied my patch to the new copy of Catch2 and it seems to fix the issues when building test-transf.hpp. @james-d-mitchell, do you think it's worth waiting for a new Catch2 release, or should we fix the issue locally ourselves?

Let's wait and see how quickly your issue with catch is picked up. We don't have to make the changes in this pr, so can wait

@james-d-mitchell
Copy link
Copy Markdown
Member Author

I have just locally applied my patch to the new copy of Catch2 and it seems to fix the issues when building test-transf.hpp. @james-d-mitchell, do you think it's worth waiting for a new Catch2 release, or should we fix the issue locally ourselves?

Let's wait and see how quickly your issue with catch is picked up. We don't have to make the changes in this pr, so can wait

New catch version is out, I'll update this later today

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