Merge #2568f4fc: ci: skip docs-only pushes with paths-ignore

nostr:nevent1qgsx2lyl2e4zvfadwcvkd9fkrcwczj7mf858hy85mwqclwgut8wpg2spz3mhxue69uhhyetvv9ujumn8d96zuer9wcq3yamnwvaz7tm8d96xummnw3ezucm0d5q3kamnwvaz7tmwva5hgtnyv9hxxmmwwashjer9wchxxmmdqqsz2685lna6yk59uk6u0elwaejhjw3gj32fdrvnh8kep2tu78l34eqr838a3

PR-Author: DanConwayDev's Agent
nostr:npub1v47f74n2ycn66asev62nv8sas99akj0g0wg0fkup37u3ckwuzs4q7cwtp0

PR description:

Every push currently runs the full Rust CI pipeline, including pushes
that only touch documentation, markdown, or gitignored-except-README
session notes under work/. Add paths-ignore for docs/**, **/*.md, and
work/** to the push trigger so those runs are skipped, while a push
touching both code and docs still runs (paths-ignore only skips when
every changed file matches).

Per ngit-ci's filter semantics (ngit-ci docs/writing-workflows.md):
paths filters are supported for push triggers with GitHub glob syntax;
tag pushes always run regardless of path filters; and pull_request path
filters are not evaluated yet, so the pull_request trigger is left
unfiltered deliberately.

Validated by parsing the workflow YAML; no job content changes.

.ngit/act/workflows/rust_ci.yaml

@@ -1,4 +1,15 @@
-on: [push, pull_request]
+# Docs-only pushes are skipped: a push runs only when at least one changed
+# file falls outside the ignore list, so mixed code+docs pushes still run.
+# Tag pushes always run regardless of path filters, and pull_request stays
+# unfiltered because ngit-ci does not evaluate PR path filters yet (filtered
+# PR triggers would run unconditionally anyway).
+on:
+  push:
+    paths-ignore:
+      - "docs/**"
+      - "**/*.md"
+      - "work/**"
+  pull_request:
 
 name: Rust CI