use simply v1

Seasawher · Sep 1, 2024 · 3e49182 · 3e49182
1 parent e428f4d
commit 3e49182
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -18,6 +18,4 @@ jobs:
         uses: actions/checkout@v4
 
       - name: lean action
-        uses: leanprover/[email protected]
-        with:
-          test: true
+        uses: leanprover/lean-action@v1