From f00891505fc69f6781f4c4e1565ebdd43f85d2af Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ya=C3=ABl=20Dillies?= <yael.dillies@gmail.com>
Date: Wed, 15 Nov 2023 13:50:40 +0000
Subject: [PATCH] Update workflow

---
 .github/workflows/push_main.yml | 55 +++++++++++++++++++++++++--------
 1 file changed, 42 insertions(+), 13 deletions(-)

diff --git a/.github/workflows/push_main.yml b/.github/workflows/push_main.yml
index 402f7849d5..00db957b29 100644
--- a/.github/workflows/push_main.yml
+++ b/.github/workflows/push_main.yml
@@ -16,35 +16,63 @@ jobs:
       group: ${{ github.workflow }}-${{ github.ref }}
       cancel-in-progress: true
     steps:
-      - name: checkout project
+      - name: Checkout project
         uses: actions/checkout@v2
         with:
           fetch-depth: 0
 
-      - name: print files to upstream
+      - name: Print files to upstream
         run: |
           grep -r --exclude-dir=ExampleSheets --files-without-match 'import LeanCamCombi' LeanCamCombi | sort > 1.txt
           grep -r --exclude-dir=ExampleSheets --files-with-match 'sorry' LeanCamCombi | sort > 2.txt
           comm -23 1.txt 2.txt | sed -e 's/^\(.*\)$/- [`\1`](https:\/\/github.com\/YaelDillies\/LeanCamCombi\/blob\/main\/\1)/' > docs/_includes/files_to_upstream.md
           rm 1.txt 2.txt
 
+      - name: Count sorries
+        run: |
+          python scripts/count_sorry.py
+
       - name: install elan
         run: curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain leanprover/lean4:4.0.0
 
-      - name: get cache
+      - name: Get cache
         run: ~/.elan/bin/lake -Kenv=dev exe cache get
 
-      - name: build project
+      - name: Build project
         run: ~/.elan/bin/lake -Kenv=dev build LeanCamCombi
 
-      - name: build documentation
+      - name: Cache mathlib docs
+        uses: actions/cache@v3
+        with:
+          path: build/doc/Mathlib
+          key: DocGen4-${{ hashFiles('lake-manifest.json') }}
+          restore-keys: |
+            DocGen4-
+
+      - name: Build documentation
         run: ~/.elan/bin/lake -Kenv=dev build LeanCamCombi:docs
 
-      - name: copy documentation
-        run: cp -R build/doc docs/
+      # - name: Install Python
+      #   uses: actions/setup-python@v4
+      #   with:
+      #     python-version: '3.9'
+      #     cache: 'pip' # caching pip dependencies
+
+      # - 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 dependencies
+      #   run: |
+      #     cd blueprint && pip install -r requirements.txt
+
+      # - name: Build blueprint and copy to `docs/blueprint`
+      #   run: |
+      #     inv all
 
-      - name: remove .gitignore for gh-pages
-        run: rm docs/.gitignore
+      - name: Copy documentation to `docs/docs`
+        run: mv build/doc docs/docs
 
       - name: Bundle dependencies
         uses: ruby/setup-ruby@v1
@@ -53,14 +81,15 @@ jobs:
           ruby-version: "3.0" # Not needed with a .ruby-version file
           bundler-cache: true # runs 'bundle install' and caches installed gems automatically
 
-      - name: bundle website
+      - name: Bundle website
         working-directory: docs
         run: JEKYLL_ENV=production bundle exec jekyll build
 
-      - name: upload artifact
+      - name: Upload docs & blueprint artifact
         uses: actions/upload-pages-artifact@v1
         with:
-          path: 'docs/_site'
+          path: docs/_site
 
-      - name: deploy website
+      - name: Deploy to GitHub Pages
+        id: deployment
         uses: actions/deploy-pages@v1