|
40 | 40 | run: >
|
41 | 41 | julia --project=. --color=yes test/runtests.jl
|
42 | 42 |
|
| 43 | + docs-build: |
| 44 | + name: Build Documentation |
| 45 | + if: github.event_name == 'pull_request' |
| 46 | + runs-on: ubuntu-latest |
| 47 | + steps: |
| 48 | + - uses: actions/checkout@v4 |
| 49 | + with: |
| 50 | + fetch-depth: 0 |
| 51 | + - name: Check for docs/src changes |
| 52 | + id: docs-changes |
| 53 | + run: | |
| 54 | + git fetch origin ${{ github.base_ref }} |
| 55 | + CHANGED_FILES=$(git diff --name-only origin/${{ github.base_ref }}...HEAD) |
| 56 | + echo "Changed files: $CHANGED_FILES" |
| 57 | + if echo "$CHANGED_FILES" | grep -qE '^(src/|docs/)'; then |
| 58 | + echo "docs_changed=true" >> $GITHUB_OUTPUT |
| 59 | + else |
| 60 | + echo "docs_changed=false" >> $GITHUB_OUTPUT |
| 61 | + fi |
| 62 | + - uses: julia-actions/setup-julia@v1 |
| 63 | + if: steps.docs-changes.outputs.docs_changed == 'true' |
| 64 | + with: |
| 65 | + version: '1' |
| 66 | + arch: x64 |
| 67 | + - uses: julia-actions/cache@v1 |
| 68 | + if: steps.docs-changes.outputs.docs_changed == 'true' |
| 69 | + - uses: julia-actions/julia-buildpkg@v1 |
| 70 | + if: steps.docs-changes.outputs.docs_changed == 'true' |
| 71 | + - name: Build documentation |
| 72 | + if: steps.docs-changes.outputs.docs_changed == 'true' |
| 73 | + run: julia --project=. --color=yes docs/make.jl |
| 74 | + - name: Skip docs build (no relevant changes) |
| 75 | + if: steps.docs-changes.outputs.docs_changed == 'false' |
| 76 | + run: echo "No docs or src changes detected, skipping docs build." |
| 77 | + |
43 | 78 | deploy-docs:
|
44 | 79 | name: Deploy Documentation
|
45 | 80 | # Only run deployment on pushes to main (after merge) or manual trigger
|
|
0 commit comments