CI: skip the build on branches that only change docs #286

Merged

jcoffey-dev merged 1 commits from ci/skip-build-docs-only into main

2026-11-03 01:19:46 +00:00

Author	SHA1	Message	Date
jcoffey-dev	76d90360a7	CI: skip the build on branches that only change docs ci / fork-checks (pull_request) Skipped Details ci / build (pull_request) Skipped Details github/ci (branch) GitHub Actions Details ci / github (pull_request) Successful in 10m26s Details A README change took a full Rust build. A new changes job compares the branch with where it left main, and the build is skipped when only top-level Markdown or docs/ changed. fork-checks still runs, and the report still posts success, so Gitea's github job doesn't sit waiting. Markdown elsewhere doesn't count, because vendor crates compile their READMEs in. main always builds: a push there cancels the run before it, so a docs merge that skipped its build could leave the previous merge unchecked.	2026-11-02 18:09:11 -07:00

Author

SHA1

Message

Date

jcoffey-dev

76d90360a7

CI: skip the build on branches that only change docs

ci / fork-checks (pull_request) Skipped

Details

ci / build (pull_request) Skipped

Details

github/ci (branch) GitHub Actions

Details

ci / github (pull_request) Successful in 10m26s

Details

A README change took a full Rust build. A new changes job compares the branch with where it left main, and the build is skipped when only top-level Markdown or docs/ changed. fork-checks still runs, and the report still posts success, so Gitea's github job doesn't sit waiting.

Markdown elsewhere doesn't count, because vendor crates compile their READMEs in. main always builds: a push there cancels the run before it, so a docs merge that skipped its build could leave the previous merge unchecked.

2026-11-02 18:09:11 -07:00