docs: note that docs-only pushes skip the pipeline
This commit is contained in:
parent
988d242ad9
commit
172bcc2183
1 changed files with 3 additions and 1 deletions
|
|
@ -16,7 +16,9 @@ git push origin main
|
||||||
+ republish the `latest` pointer
|
+ republish the `latest` pointer
|
||||||
```
|
```
|
||||||
|
|
||||||
Workflow: [`.gitea/workflows/ci.yml`](../.gitea/workflows/ci.yml). A red gate
|
Workflow: [`.gitea/workflows/ci.yml`](../.gitea/workflows/ci.yml). Docs-only
|
||||||
|
pushes (docs/, the memory trees, markdown) skip the pipeline entirely — no
|
||||||
|
test can fail on them and a run costs ~7 minutes plus a 121 MB release. A red gate
|
||||||
cannot publish: `release` uses `needs:`, not a `workflow_run` trigger, whose
|
cannot publish: `release` uses `needs:`, not a `workflow_run` trigger, whose
|
||||||
Forgejo support is unreliable.
|
Forgejo support is unreliable.
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue