CircleCI: Update to new images (#28243)
* Tests: Update Catch2 to v2.13.9 (cherry picked from commit 189ea0b1a5e4bbaa88638aee54934d4e540ccb50)
This commit is contained in:
1 parent
2509b96dec
commit
a0ce411c0d
2 files changed
+5
-5
No files matched your search
+1
-1
@@ -42,7 +42,7 @@ if(BUILD_TESTING)
|
||||
include(FetchContent)
|
||||
FetchContent_Declare(Catch2
|
||||
GIT_REPOSITORY https://github.com/catchorg/Catch2.git
|
||||
GIT_TAG v2.13.0
|
||||
GIT_TAG v2.13.9
|
||||
GIT_SHALLOW 1)
|
||||
FetchContent_MakeAvailable(Catch2)
|
||||
endif()
|
||||
Reference in new issue
Block a user