From 7caf02611d1a40bae08af4c7b2419db8936447b3 Mon Sep 17 00:00:00 2001
From: Jukka Aho <ahojukka5@gmail.com>
Date: Sat, 9 May 2026 16:19:42 +0300
Subject: [PATCH] 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.
---
 .github/workflows/Documentation.yml | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml
index 2d1ef03..6553297 100644
--- a/.github/workflows/Documentation.yml
+++ b/.github/workflows/Documentation.yml
@@ -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: