Skip to content

Commit

Permalink
Update push.yml
Browse files Browse the repository at this point in the history
  • Loading branch information
pitmonticone committed Jul 5, 2024
1 parent 1130a9a commit c914378
Showing 1 changed file with 5 additions and 2 deletions.
7 changes: 5 additions & 2 deletions .github/workflows/push.yml
Original file line number Diff line number Diff line change
Expand Up @@ -57,8 +57,11 @@ jobs:
restore-keys: |
MathlibDoc- # Cache Mathlib documentation to save rebuild time
- name: Build documentation
run: ~/.elan/bin/lake -Kenv=dev build BonnAnalysis:docs # Build project documentation
- name: List available documentation parts
run: ls -R .lake/build/doc # List all available documentation parts for monitoring

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

# - name: Clear intermediate documentation build artifacts
# run: rm -rf .lake/build/doc/* # Clean up documentation build artifacts to save space
Expand Down

0 comments on commit c914378

Please sign in to comment.