diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 90689bb5..0e6ad926 100644
--- 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