Skip to content

docs: sync after #206 (CI now runs on push to main) - #215

Merged
Sev7eNup merged 1 commit into
mainfrom
docs/auto-sync-2026-08-16
Aug 16, 2026
Merged

docs: sync after #206 (CI now runs on push to main)#215
Sev7eNup merged 1 commit into
mainfrom
docs/auto-sync-2026-08-16

Conversation

@Sev7eNup

Copy link
Copy Markdown
Owner

PR #206 added push: [main] to .github/workflows/ci.yml but left two prose blocks unchanged, making them contradict the actual workflow config.

Changes

File Change
README.md Remove "There is deliberately no push trigger" sentence; replace with "CI runs on every pull request and on every push to main"
CLAUDE.md Update "zweifach" → "dreifach"; expand the ci.yml clause to mention push-to-main alongside PRs

Both changes are purely factual corrections against the current ci.yml (line 15–16: push: branches: [main]).


Generated by Claude Code

README.md and CLAUDE.md both said CI has "deliberately no push trigger"
and ran only on PRs. PR #206 added push: [main] to ci.yml but left both
prose blocks unchanged, making them contradict the actual workflow config.

- README.md: replace the "deliberately no push trigger" sentence with a
  statement that CI runs on every PR and on every push to main.
- CLAUDE.md: update "zweifach" (twice) to "dreifach" (three times) and
  expand the ci.yml clause to mention push-to-main alongside PRs.
@Sev7eNup
Sev7eNup merged commit f870b46 into main Aug 16, 2026
9 checks passed
@Sev7eNup
Sev7eNup deleted the docs/auto-sync-2026-08-16 branch August 16, 2026 06:47
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.

2 participants