From 2ea185e14442243205a0fe0e367a1cada287a173 Mon Sep 17 00:00:00 2001
From: Julian Berman <Julian@GrayVines.com>
Date: Wed, 13 Oct 2021 09:16:19 -0400
Subject: [PATCH] Use rhysd/action-setup-vim which can cope even when neovim
 nightlies don't upload.

See rhysd/action-setup-vim#18.
---
 .github/workflows/ci.yml | 11 +++--------
 1 file changed, 3 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f7117745..74e32bbb 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -29,14 +29,9 @@ jobs:
             curl https://raw.githubusercontent.com/Kha/elan/master/elan-init.sh -sSf | sh -s -- --default-toolchain "${{ matrix.lean-version }}" -y
             echo "$HOME/.elan/bin/" >> $GITHUB_PATH
 
-      - name: Install neovim
-        run: |
-          neovim_dir=$HOME/neovim
-          mkdir $neovim_dir
-          if [ "`uname`" = Linux ]; then os=linux64; else os=macos; fi
-          curl -sL https://github.com/neovim/neovim/releases/download/${{matrix.nvim-version}}/nvim-$os.tar.gz \
-            | tar xzf - --strip-components=1 -C $neovim_dir
-          echo $neovim_dir/bin >> $GITHUB_PATH
+      - name: Install Neovim
+        uses: rhysd/action-setup-vim@v1.2.8
+        with: ${{ matrix.nvim-version }}
 
       - name: Install the Lean LSP
         run: sudo npm install -g lean-language-server