From 0076c14ad13928dfb597efaa46489b274ff81d7e Mon Sep 17 00:00:00 2001
From: zach <zach@dylibso.com>
Date: Mon, 22 Jan 2024 20:16:28 -0800
Subject: [PATCH] ci: build docs

---
 .github/workflows/docs.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 16c8341..b76c922 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -28,7 +28,6 @@ jobs:
           GITHUB_TOKEN: ${{ github.token }}
 
       - name: Setup elan toolchain on Linux or macOS
-        if: matrix.os == 'ubuntu-latest' || matrix.os == 'macos-latest'
         run: |
           curl -O --location https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh
           chmod u+x elan-init.sh