mirror of
https://github.com/ChaiScript/ChaiScript.git
synced 2026-05-01 03:19:28 +08:00
The workflow cannot push back to fork branches, so running on pull_request was fundamentally broken for fork PRs. Changed trigger to push on develop and master branches, and simplified checkout (no fork-specific options needed). Requested by @lefticus in PR #691 review. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com> |
||
|---|---|---|
| .. | ||
| workflows | ||
| CONTRIBUTING.md | ||
| ISSUE_TEMPLATE.md | ||
| PULL_REQUEST_TEMPLATE.md | ||