setup elan

opencompl · Apr 2, 2024 · 439d515 · 439d515
1 parent 4353bb6
commit 439d515
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/bench.yml b/.github/workflows/bench.yml
@@ -17,6 +17,10 @@ jobs:
         with:
           install_url: https://releases.nixos.org/nix/nix-2.12.0/install
 
+      - name: Install Elan
+        run: |
+          curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh
+
       - name: Run Benchmarking Suite
         run: |
           cd 1-runs/1-SKELETON