From aaf6fea7a4d3b05d0c7cbb8f65eee09f639ebcd8 Mon Sep 17 00:00:00 2001
From: bab2min <bab2min@gmail.com>
Date: Mon, 18 Nov 2019 21:55:39 +0900
Subject: [PATCH] Update deploy.yml

---
 .github/workflows/deploy.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index ffbe6e9..d2102b4 100644
--- 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: