From 946407bb5e62e753bacecf21e301d38ca1933e4b Mon Sep 17 00:00:00 2001
From: Siddharth Bhat <siddu.druid@gmail.com>
Date: Tue, 2 Apr 2024 13:59:44 +0100
Subject: [PATCH] fix: run elan with -y

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

diff --git a/.github/workflows/bench.yml b/.github/workflows/bench.yml
index 25163a684868..fc5b368fc18e 100644
--- a/.github/workflows/bench.yml
+++ b/.github/workflows/bench.yml
@@ -19,7 +19,9 @@ jobs:
 
       - name: Install Elan
         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.sh
+          chmod +x elan.sh
+          ./elan.sh -y
 
       - name: Run Benchmarking Suite
         run: |