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