Skip to content

CI on every push and pull request; the corpus as a job; issue and PR templates - #6

Closed
chenyueqi wants to merge 1 commit into
mainfrom
sync/ci
Closed

CI on every push and pull request; the corpus as a job; issue and PR templates#6
chenyueqi wants to merge 1 commit into
mainfrom
sync/ci

Conversation

@chenyueqi

Copy link
Copy Markdown
Member

Carried by tools/export sync; each commit names its origin in a Carried-From trailer.

…corpus is a job; issue and PR templates

The published edition's Actions are free, so its ci.yml and hygiene.yml get
push, pull_request and (for hygiene) a weekly schedule, through swapped
trigger blocks; this tree keeps manual dispatch and says why. A corpus job
runs the twelve cases and fails on a diff of corpus/baseline.json, so the
file cannot lag behind main again as it did today. Two issue templates --
a refused translation, where the argument is the contribution, and a
defect -- a contact link to the private advisory form and to Discussions,
and a pull request template with the three checks.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Signed-off-by: Yueqi Chen <yueqi.chen@colorado.edu>

Carried-From: c7cf88c90aaa5304c6d4b3e4c5297e1709f4c44e
@chenyueqi chenyueqi closed this Sep 8, 2026
@chenyueqi
chenyueqi deleted the sync/ci branch September 8, 2026 01:25
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.

1 participant