only add Catch2 conditionally #36

Merged

muellerr merged 1 commits from only-add-catch2-conditionally into main 2024-10-29 17:05:35 +01:00

Conversation 0 Commits 1 Files Changed 1 +3 -1

1 Commits

Author	SHA1	Message	Date
Robin Mueller	4514ba1f66	only add Catch2 conditionally	2024-10-29 16:12:38 +01:00