Skip to content

Include Catch2 header directly in repository#99

Merged
renatoGarcia merged 1 commit into
masterfrom
include-catch2-header
Apr 20, 2026
Merged

Include Catch2 header directly in repository#99
renatoGarcia merged 1 commit into
masterfrom
include-catch2-header

Conversation

@renatoGarcia

Copy link
Copy Markdown
Owner

Bundle catch.hpp (v2.13.10) to avoid having to install an old release. Update all test files to use the local header.

@renatoGarcia renatoGarcia force-pushed the include-catch2-header branch from a3981a0 to 9866ad5 Compare April 20, 2026 22:56
Bundle catch.hpp (v2.13.10) to avoid having to install an old release.
Update all test files to use the local header.
@renatoGarcia renatoGarcia force-pushed the include-catch2-header branch from 9866ad5 to 34313ab Compare April 20, 2026 23:00
@renatoGarcia renatoGarcia merged commit cd18695 into master Apr 20, 2026
47 checks passed
@renatoGarcia renatoGarcia deleted the include-catch2-header branch April 21, 2026 01:50
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