From c480ed5d69d0b49d0d8bf93b88bf012703dd6dd5 Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Wed, 21 Aug 2024 10:50:29 +0200
Subject: [PATCH] test windows workflow

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

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 978e4b7..f1c8cf6 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -35,7 +35,8 @@ jobs:
       - name: TEST Install elan (Windows)
         if: matrix.os == 'windows-latest'
         run: |
-          curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh
+          curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf > elan-init.sh
+          bash elan-init.sh -y
         shell: bash
       # - name: Install elan (Windows)
       #   if: matrix.os == 'windows-latest'