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: |