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
Showing only changes of commit cd5a88c8a2 - Show all commits
+12 -1
View File
@@ -1,6 +1,11 @@
# Publishing / Releases # Publishing / Releases
# #
# Trigger: push to main — i.e. when any PR merges. # Trigger: push to main — i.e. when any PR merges — EXCEPT pushes whose changed
# files are confined to .gitea/** (CI/workflow edits) and/or .planning/** (GSD
# planning docs, which push straight to main under the unprotected .planning/*
# branch-protection pattern). Those never alter the shipped image (.dockerignore
# already excludes .planning), so the paths-ignore filter below skips a wasted
# build + re-push. A push that also touches code/Dockerfile/manifests still publishes.
# Image: git.bergerhouse.net/luckberg/familysync-api # Image: git.bergerhouse.net/luckberg/familysync-api
# Tags: # Tags:
# :latest — moving pointer for easy pulls # :latest — moving pointer for easy pulls
@@ -25,6 +30,12 @@ name: Publish
on: on:
push: push:
branches: [main] branches: [main]
# Doc/CI-only pushes produce a byte-identical image — skip the build entirely.
# paths-ignore skips the run only when EVERY changed file matches; a mixed
# push (code + .planning) still publishes.
paths-ignore:
- '.gitea/**'
- '.planning/**'
env: env:
MILESTONE: v1.1 MILESTONE: v1.1