Skip to content

Pipeline: publish the implementer branch after a token expiry, dispatch triage after non-task merges, T25 note (#75) - #77

Merged
michel2323 merged 1 commit into
mainfrom
claude/festive-clarke-m2ap6u
Oct 2, 2026
Merged

michel2323 merged 1 commit into
mainfrom
claude/festive-clarke-m2ap6u

Conversation

@michel2323

Copy link
Copy Markdown
Member

Three things, two of them workflow fixes for failures seen today.

1. Implementer token expiry (T15, run 37032539796). The App token claude-code-action mints lives one hour; the T15 run took 81 minutes, so Claude could neither push nor open the PR and dumped its commit into the log instead (recovered by hand into #76). New step Publish the branch if Claude could not in claude-implement.yml: after the Claude step, if no task/TNN-* PR exists and a local branch has commits, it pushes the branch and opens the PR (label claude:pr, milestone, Closes #N). It uses the secret CLAUDE_GH_PAT when set, otherwise github.token. The prompt now also asks Claude to push early and to stop without retries on 401/403.

Owner action: create a fine-grained PAT scoped to this repository with Contents, Pull requests and Issues: read and write, and store it as the repository secret CLAUDE_GH_PAT. With it, the fallback push and PR trigger CI and the reviewer like Claude's own would. Without it the PR is still opened, but with github.token, which starts no workflow; the step then comments on the issue telling you to close and reopen the PR.

2. Triage after non-task merges. claude-pipeline.yml closes issues with github.token, whose events never trigger claude-triage.yml; #66 closed by #72 therefore left T15 unstarted until I labelled it by hand. claude-triage.yml gains workflow_dispatch, and the pipeline dispatches it after merging a PR whose title has no task id.

3. TASKS.md: owner note under T25 for #75 (parallel pivot search, F₁₁ in local memory for regime B, KA pivoting of F₁₁ + vendor trsm/gemm for regime-C root fronts; the T15 sytrf deliverable is dropped by owner decision). Refs #75, no closing keywords.

Workflow files changed, so the reviewer skips this PR; merge by hand once CI is green.

🤖 Generated with Claude Code

https://claude.ai/code/session_014NfiFN5Ukdcnbh87uff2Dg


Generated by Claude Code

…atch triage after non-task merges; T25 owner note (#75)

- claude-implement.yml: new step 'Publish the branch if Claude could not'
  pushes the local task/TNN-* branch and opens the PR with CLAUDE_GH_PAT
  (or github.token) when the run outlived the one-hour App token (T15, run
  37032539796); the prompt asks for early pushes and no retries on 401/403.
- claude-triage.yml: workflow_dispatch; claude-pipeline.yml dispatches it
  after merging a PR without a task id, since issue closes made with
  github.token trigger nothing (#66 closed by #72 left T15 unstarted).
- TASKS.md: owner note under T25 for #75.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_014NfiFN5Ukdcnbh87uff2Dg
@michel2323
michel2323 merged commit b67f7aa into main Oct 2, 2026
5 checks passed
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