From b98f0a4cedc0d69dcbb5e3dc9441ecbc36da6c14 Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Tue, 20 Aug 2024 12:43:08 +0200
Subject: [PATCH] update 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 0459afe..0da1c08 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -35,7 +35,8 @@ jobs:
       - name: install elan (macOS)
         if: matrix.os == 'macos-latest'
         run: |
-          /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/leanprover-community/mathlib4/master/scripts/install_macos.sh)"
+          curl -fsSL https://raw.githubusercontent.com/leanprover-community/mathlib4/master/scripts/install_macos.sh) > install_macos.sh
+          ./install_macos.sh -y
           source ~/.profile
       - name: run lake build (macOS)
         if: matrix.os == 'macos-latest'