Revert "All -DDOWNLOAD_EIGEN=OFF (to work around gitlab eigen outage)." (#3326)

This reverts commit 9f146a5622.
This commit is contained in:
Henry Schreiner
2021-10-04 16:38:15 -04:00
committed by GitHub
parent c9a319c607
commit 3747dc2c4f
2 changed files with 1 additions and 9 deletions

View File

@@ -41,7 +41,6 @@ jobs:
cmake -S . -B build
-DCMAKE_CXX_CLANG_TIDY="$(which clang-tidy)"
-DDOWNLOAD_EIGEN=ON
-DPYBIND11_EIGEN_REPO=https://gitlab.com/libeigen/eigen-backup
-DDOWNLOAD_CATCH=ON
-DCMAKE_CXX_STANDARD=17