Revert "Update lean_doc.yml"

themathqueen · Feb 9, 2024 · add7fcd · add7fcd
1 parent eee8c2a
commit add7fcd
Showing 1 changed file with 0 additions and 10 deletions.
diff --git a/.github/workflows/lean_doc.yml b/.github/workflows/lean_doc.yml
@@ -63,22 +63,12 @@ jobs:
         cat ../src/all.lean
         lean --path
 
-    - name: Set up olean cache
-      uses: actions/cache@v3
-      with:
-        path: _cache
-        key: oleans
-
     - name: 🔧 Build the lean code
       run: |
         cd doc-gen
         lean -v
         lean --make src/entrypoint.lean
 
-    - name: Save olean cache
-      run: |
-        leanproject mk-cache
-
     - name: 📝 Export Lean symbol information
       run: |
         cd doc-gen