ci: skip Docker publish for .gitea/.planning-only pushes #16

Merged

luckberg merged 4 commits from quick/260613-fp9-publish-paths-ignore into main 2026-06-13 12:17:52 -04:00

Conversation 0 Commits 4 Files Changed 5

+182 -13

4 Commits

Author	SHA1	Message	Date
Lucas Berger	15fa89d483	docs(quick-260613-fp9): document ci.yml heavy-job paths-filter fix	2026-06-13 12:13:58 -04:00
Lucas Berger	ec85fe026a	ci(260613-fp9): fix changes paths-filter so doc/.gitea/.planning PRs skip heavy jobs ... dorny/paths-filter combines patterns with Array.some, and picomatch compiles '!.gitea/**' as 'any path not under .gitea'. The '- !.gitea/**' line (from quick task 260613-dmw) therefore matched every non-.gitea file — including .planning/** and *.md — so code=true for doc-only PRs and the heavy api/harness jobs ran anyway. It also never excluded .gitea (the **/*.yml glob already matched workflow files), regressing the Phase 15 doc-only skip. Switch to predicate-quantifier 'every' with negation-only globs: a file counts as code only if it is outside .gitea/, outside .planning/, and not Markdown. Verified with picomatch against representative file sets.	2026-06-13 12:13:58 -04:00
Lucas Berger	4d4ffad059	docs(quick-260613-fp9): .gitea/.planning pushes should not trigger a docker image publish	2026-06-13 11:22:16 -04:00
Lucas Berger	cd5a88c8a2	ci(260613-fp9): skip Docker publish for .gitea/.planning-only pushes ... Add paths-ignore ['.gitea/**', '.planning/**'] to publish.yml's push trigger. Doc/CI-only pushes to main (planning docs push straight to main; workflow edits merge via PR) produce a byte-identical image (.dockerignore already excludes .planning), so the build + :latest re-push was wasted. paths-ignore skips only when every changed file matches; mixed code+docs pushes still publish.	2026-06-13 11:22:05 -04:00