mirror of
https://github.com/JuliaFEM/JuliaFEM.jl.git
synced 2026-08-06 04:21:33 +00:00
Jukka Aho
7caf02611d
Restrict pull_request runs to doc-, source-, and dependency-touching paths. Run scripts/verify_docs_quickstart.jl before docs/make.jl so the homepage snippet cannot drift without failing CI.
46 lines
1.0 KiB
YAML
46 lines
1.0 KiB
YAML
name: Documentation
|
|
|
|
on:
|
|
push:
|
|
branches:
|
|
- master
|
|
- main
|
|
tags: '*'
|
|
pull_request:
|
|
paths:
|
|
- "docs/**"
|
|
- "src/**"
|
|
- "scripts/**"
|
|
- "test/docs/**"
|
|
- "Project.toml"
|
|
- "Manifest.toml"
|
|
- ".github/workflows/Documentation.yml"
|
|
|
|
jobs:
|
|
build:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
|
|
- uses: julia-actions/setup-julia@v2
|
|
with:
|
|
version: '1'
|
|
|
|
- uses: julia-actions/cache@v2
|
|
|
|
- name: Install dependencies
|
|
run: |
|
|
julia --project=docs -e '
|
|
using Pkg
|
|
Pkg.develop(PackageSpec(path=pwd()))
|
|
Pkg.instantiate()'
|
|
|
|
- name: Verify documentation quickstart snippet
|
|
run: julia --project=. scripts/verify_docs_quickstart.jl
|
|
|
|
- name: Build documentation
|
|
run: julia --project=docs docs/make.jl
|
|
env:
|
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
|