t3

leanprover-community · Oct 23, 2023 · a5b9cd8 · a5b9cd8
1 parent 47a3948
commit a5b9cd8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -48,7 +48,7 @@ jobs:
       - name: Build project
         run: ~/.elan/bin/lake -Kenv=dev build FltRegular
 
-    - uses: actions/cache@v3
+      - uses: actions/cache@v3
         name: Mathlib doc Cache
         with:
           path: build/doc/Mathlib