Skip to content

Catch2 3.7.1 compatibility#345

Merged
FranckRJ merged 1 commit intoeranpeer:devfrom
Poldraunic:catch2-3.7.1-compatibility
Oct 6, 2024
Merged

Catch2 3.7.1 compatibility#345
FranckRJ merged 1 commit intoeranpeer:devfrom
Poldraunic:catch2-3.7.1-compatibility

Conversation

@Poldraunic
Copy link
Contributor

Closes #343

@Poldraunic Poldraunic force-pushed the catch2-3.7.1-compatibility branch from d881609 to 0189fa3 Compare September 28, 2024 17:16
@Poldraunic Poldraunic changed the title Compatibility changes with Catch2 3.7.1 Catch2 3.7.1 compatibility Sep 28, 2024
@coveralls
Copy link

Coverage Status

coverage: 99.926%. remained the same
when pulling 0189fa3 on Poldraunic:catch2-3.7.1-compatibility
into 4aa3086 on eranpeer:dev.

@FranckRJ FranckRJ merged commit 82d53c6 into eranpeer:dev Oct 6, 2024
@FranckRJ
Copy link
Collaborator

FranckRJ commented Oct 6, 2024

Thanks for the fix !

@Poldraunic Poldraunic deleted the catch2-3.7.1-compatibility branch October 6, 2024 16:34
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