feat: use github cache feature of leanprover/lean-action (#24)

resolve #23
oliver-butterley · Jul 4, 2024 · fb291bb · fb291bb
1 parent 7861d45
commit fb291bb
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/action.yml b/action.yml
@@ -62,8 +62,6 @@ runs:
       uses: leanprover/lean-action@main
       with:
         test: false
-        # If the .lake directory remains, an error may occur when updating.
-        use-github-cache: false
 
     - name: Record outcome
       id: record-outcome