ci(docs): Scope Documentation workflow and verify quickstart

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.
This commit is contained in:
Jukka Aho
2026-05-09 16:19:42 +03:00
parent e76ec8fdc0
commit 7caf02611d
+12 -1
View File
@@ -7,6 +7,14 @@ on:
- main
tags: '*'
pull_request:
paths:
- "docs/**"
- "src/**"
- "scripts/**"
- "test/docs/**"
- "Project.toml"
- "Manifest.toml"
- ".github/workflows/Documentation.yml"
jobs:
build:
@@ -26,7 +34,10 @@ jobs:
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: