fix eigen ci folder name

pantor · Dec 21, 2020 · 332f09d · 332f09d
1 parent 2d042d8
commit 332f09d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -17,7 +17,7 @@ jobs:
     - name: install Eigen3
       run: |
         git clone https://gitlab.com/libeigen/eigen.git
-        cd eigen-git-mirror
+        cd eigen
         git checkout 3.3.9
         mkdir build && cd build
         cmake ..