Change setup-lean action name

boogie-org · Feb 14, 2024 · bf46f95 · bf46f95
1 parent 4fc941d
commit bf46f95
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test-lean-auto.yml b/.github/workflows/test-lean-auto.yml
@@ -33,7 +33,7 @@ jobs:
           dotnet tool restore
           dotnet build -warnaserror Source/Boogie.sln
       - name: Setup Lean
-        uses: actions/setup-lean@v1
+        uses: Julian/setup-lean@v1
         with:
           # Lean version will be chosen based on Test/lean-auto/lean-toolchain
           default-toolchain-file: Test/lean-auto/lean-toolchain