fix: run elan with -y

opencompl · Apr 2, 2024 · 946407b · 946407b
1 parent 439d515
commit 946407b
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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: |