only allow openmpi (#1209)

This commit is contained in:
Awni Hannun
2024-06-13 12:14:44 -07:00
committed by GitHub
parent f20e97b092
commit e84ba8056d
2 changed files with 13 additions and 1 deletions

View File

@@ -1,7 +1,7 @@
FetchContent_Declare(
doctest
GIT_REPOSITORY "https://github.com/onqtam/doctest"
GIT_TAG "b7c21ec5ceeadb4951b00396fc1e4642dd347e5f"
GIT_TAG "ae7a13539fb71f270b87eb2e874fbac80bc8dda2"
)
FetchContent_MakeAvailable(doctest)