Update deploy.yml

bab2min · Nov 18, 2019 · aaf6fea · aaf6fea
1 parent f9cf6a0
commit aaf6fea
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -16,6 +16,9 @@ jobs:
     - name: Install dependencies
       run: |
         git clone https://github.com/eigenteam/eigen-git-mirror
+        cd eigen-git-mirror
+        git checkout tags/3.3.7
+        cd ..
         mv eigen-git-mirror include
     - name: Deploy
       env: