Skip to content

Skip CI on docs-only / gitignore-only changes#3

Merged
bootuz merged 1 commit into
mainfrom
ci/skip-docs-only-changes
May 23, 2026
Merged

Skip CI on docs-only / gitignore-only changes#3
bootuz merged 1 commit into
mainfrom
ci/skip-docs-only-changes

Conversation

@bootuz
Copy link
Copy Markdown
Owner

@bootuz bootuz commented May 23, 2026

Summary

Adds `paths-ignore` to both the `push` and `pull_request` triggers in .github/workflows/ci.yml so the full pipeline (Vapor build + tests, SPA type-check + build, mac app build) doesn't run on:

  • `**/*.md` — README, CONTRIBUTING, SECURITY, etc.
  • `.gitignore`
  • `LICENSE`

GitHub's path-filter semantics are conservative: the run is only skipped when every changed file matches the list. A commit that touches `README.md` and a source file still triggers a full run, so this never hides a real signal.

Tag-triggered release workflows (`release-app.yml`, `release-service.yml`) are unaffected — they don't run on push or PR.

Test plan

  • Reviewer: this PR itself only touches `.github/workflows/ci.yml`, which is a workflow source file (not in the ignore list) — CI should run in full to validate the YAML.
  • Future smoke: push a README-only edit to a branch with a draft PR and confirm no CI run appears under "Checks".

The full pipeline (server build + tests, SPA type-check + build, mac
app build) costs ~5 minutes per push. README tweaks and .gitignore
edits don't change any compiled artifact, so there's no signal worth
gating on.

paths-ignore is conservative: GitHub only skips a run when *every*
changed file matches the list, so mixed commits (e.g. README + a code
change) still trigger a full run. Add to the list as new doc-shaped
top-level files appear.
@bootuz bootuz merged commit b6363bb into main May 23, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant