Skip to content

Commit

Permalink
Bump doc-gen4
Browse files Browse the repository at this point in the history
  • Loading branch information
pitmonticone committed Jul 7, 2024
1 parent fd63c99 commit 992d58f
Show file tree
Hide file tree
Showing 2 changed files with 21 additions and 26 deletions.
39 changes: 17 additions & 22 deletions .github/workflows/push.yml
Original file line number Diff line number Diff line change
Expand Up @@ -33,8 +33,8 @@ jobs:
- name: Install elan
run: curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain none

- name: Update docgen4
run: ~/.elan/bin/lake -R -Kenv=dev update doc-gen4
# - name: Update doc-gen4
# run: ~/.elan/bin/lake -R -Kenv=dev update «doc-gen4»

- name: Get cache
run: ~/.elan/bin/lake -Kenv=dev exe cache get || true
Expand All @@ -54,32 +54,23 @@ jobs:
.lake/build/doc/declarations
!.lake/build/doc/declarations/declaration-data-BonnAnalysis*
key: MathlibDoc-${{ hashFiles('lake-manifest.json') }}
restore-keys: |
MathlibDoc-
#restore-keys: MathlibDoc-

- name: Build project documentation
run: ~/.elan/bin/lake -Kenv=dev build BonnAnalysis:docs

- name: Cache blueprint environment
uses: actions/cache@v3
with:
path: |
~/texlive-env
key: texlive-env-${{ hashFiles('blueprint/*') }}
restore-keys: |
texlive-env-
- name: Build blueprint and copy to `docs/blueprint`
uses: xu-cheng/texlive-action@v2
with:
docker_image: ghcr.io/xu-cheng/texlive-full:20231201
run: |
export PIP_BREAK_SYSTEM_PACKAGES=1
apk update
apk add --update make py3-pip git pkgconfig graphviz graphviz-dev gcc musl-dev
git config --global --add safe.directory $GITHUB_WORKSPACE
git config --global --add safe.directory `pwd`
python3 -m venv ~/texlive-env || true
source ~/texlive-env/bin/activate
python3 -m venv env
source env/bin/activate
pip install --upgrade pip requests wheel
pip install pygraphviz --global-option=build_ext --global-option="-L/usr/lib/graphviz/" --global-option="-R/usr/lib/graphviz/"
pip install leanblueprint
Expand All @@ -88,16 +79,12 @@ jobs:
leanblueprint web
cp -r blueprint/web docs/blueprint
# - name: Check declarations
# run: |
# ~/.elan/bin/lake exe checkdecls blueprint/lean_decls

- name: Remove lake files from documentation
run: |
find .lake/build/doc -name "*.trace" -delete
find .lake/build/doc -name "*.hash" -delete
- name: Move documentation to `docs/docs`
- name: Copy documentation to `docs/docs`
run: |
sudo chown -R runner docs
cp -r .lake/build/doc docs/docs
Expand All @@ -113,11 +100,19 @@ jobs:
working-directory: docs
run: JEKYLL_ENV=production bundle exec jekyll build

- name: Upload docs & blueprint artifact
# - name: Upload docs & blueprint artifact to `docs/`
# uses: actions/upload-pages-artifact@v1
# with:
# path: docs/

- name: Upload docs & blueprint artifact to `docs/_site`
uses: actions/upload-pages-artifact@v1
with:
path: docs/_site

- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v1
uses: actions/deploy-pages@v1

- name: Make sure the cache works
run: mv docs/docs .lake/build/doc
8 changes: 4 additions & 4 deletions lake-manifest.json
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@
"type": "git",
"subDir": null,
"scope": "leanprover-community",
"rev": "26b4e42e8e9c45c3ded44a4d161161bef430d446",
"rev": "deb5bd446a108da8aa8c1a1b62dd50722b961b73",
"name": "aesop",
"manifestFile": "lake-manifest.json",
"inputRev": "master",
Expand Down Expand Up @@ -65,10 +65,10 @@
"type": "git",
"subDir": null,
"scope": "",
"rev": "b387c548d1dc9cea5c5fcb71e5b3370cca1a04cc",
"rev": "363b8176ac29271af4b000b649f836c846f528fc",
"name": "mathlib",
"manifestFile": "lake-manifest.json",
"inputRev": null,
"inputRev": "master",
"inherited": false,
"configFile": "lakefile.lean"},
{"url": "https://github.com/acmepjz/md4lean",
Expand All @@ -95,7 +95,7 @@
"type": "git",
"subDir": null,
"scope": "",
"rev": "5cf3352cd6090e58c5ee878c786af8b87e8bdd65",
"rev": "7aa0886dc3f8dd486e00c19589d28c5bc0d7d860",
"name": "«doc-gen4»",
"manifestFile": "lake-manifest.json",
"inputRev": "main",
Expand Down

0 comments on commit 992d58f

Please sign in to comment.