We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 3f6be7c commit 3789de3Copy full SHA for 3789de3
1 file changed
.github/workflows/build-index.yml
@@ -5,12 +5,14 @@ on:
5
branches: [main]
6
paths:
7
- "*.md"
8
+ # series.yml is a push trigger so a manual series.yml update (applied
9
+ # by hand on the mirror) regenerates README.md via CI. The bot's own
10
+ # README commit is pushed with the default GITHUB_TOKEN, which does not
11
+ # trigger another workflow run, so this cannot recurse.
12
+ - "series.yml"
13
- "tools/build-index.py"
14
- "tools/update-series.py"
15
- ".github/workflows/build-index.yml"
- # series.yml is a generated artifact (written locally by
- # update-series.py), so it is intentionally NOT a push trigger:
- # committing it must not re-trigger this workflow.
16
workflow_dispatch:
17
inputs:
18
refresh_series:
0 commit comments