diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index e3c249bc70..1d86b904b7 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -17,7 +17,7 @@ jobs:
       group: ${{ github.workflow }}-${{ github.ref }}
       cancel-in-progress: true
     steps:
-      - name: Free Disk Space (Ubuntu)
+      - name: Free disk space
         uses: jlumbroso/free-disk-space@main
         with:
           # this might remove tools that are actually needed,
@@ -47,8 +47,8 @@ jobs:
       - name: Build project
         run: ~/.elan/bin/lake -Kenv=dev build LeanAPAP
 
-      - uses: actions/cache@v3
-        name: Mathlib doc Cache
+      - name: Cache mathlib docs
+        uses: actions/cache@v3
         with:
           path: build/doc/Mathlib
           key: DocGen4-${{ hashFiles('lake-manifest.json') }}
@@ -64,12 +64,12 @@ jobs:
           python-version: '3.9'
           cache: 'pip' # caching pip dependencies
 
-      - name: Install blueprint apt deps
+      - name: Install blueprint apt dependencies
         run: |
           sudo apt-get update
           sudo apt-get install -y graphviz libgraphviz-dev pdf2svg dvisvgm texlive-full
 
-      - name: Install blueprint deps
+      - name: Install blueprint dependencies
         run: |
           cd blueprint && pip install -r requirements.txt
 
@@ -81,13 +81,6 @@ jobs:
         run: |
           mv build/doc docs/docs
 
-      - name: Remove .gitignore for gh-pages
-        run: rm docs/.gitignore
-
-      - name: Count sorries
-        run: |
-          python scripts/count_sorry.py
-
       - name: Bundle dependencies
         uses: ruby/setup-ruby@v1
         with:
@@ -99,7 +92,7 @@ jobs:
         working-directory: docs
         run: JEKYLL_ENV=production bundle exec jekyll build
 
-      - name: Upload doc & blueprint artifact
+      - name: Upload docs & blueprint artifact
         uses: actions/upload-pages-artifact@v1
         with:
           path: docs/_site
diff --git a/.github/workflows/upgrade_lean.yml b/.github/workflows/upgrade_lean.yml
deleted file mode 100644
index 21db83a88a..0000000000
--- a/.github/workflows/upgrade_lean.yml
+++ /dev/null
@@ -1,18 +0,0 @@
-on:
-  schedule:
-    - cron: '0 2 * * *' # once a day at 2am UTC
-
-jobs:
-  upgrade_lean:
-    runs-on: ubuntu-latest
-    name: Bump Lean and dependency versions
-    steps:
-      - name: checkout project
-        uses: actions/checkout@v2
-      - name: upgrade Lean and dependencies
-        uses: leanprover-contrib/lean-upgrade-action@master
-        with:
-          repo: ${{ github.repository }}
-          access-token: ${{ secrets.GITHUB_TOKEN }}
-      - name: update version branches
-        uses: leanprover-contrib/update-versions-action@master