fix(62256): ci: typecheck workflow lacks a concurrency group and job timeouts

[vystartasv]

Fixes #62256

Changes

.github/workflows/typecheck.yml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

Auto-generated by Hermes Harness — reviewed by AI gate before submission.

[teknium1]

Thanks for addressing the missing timeout and stale-run controls. The timeout additions target a real current-main gap, but the concurrency group needs one correction.

Problems

• .github/workflows/typecheck.yml:5 uses ${{ github.workflow }}-${{ github.ref }}. This reusable workflow is called by .github/workflows/ci.yml:77, whose group is ci-${{ github.ref }} at .github/workflows/ci.yml:25-27. GitHub documents that a called workflow uses its caller's github.workflow; therefore this resolves to the same case-insensitive group and cancel-in-progress: true cancels the caller CI run.

Suggested changes

• Use a distinct group such as typecheck-${{ github.ref }} at .github/workflows/typecheck.yml:5, as proposed in issue #62256.

Automated hermes-sweeper review.

[teknium1]

github.workflow is the caller workflow name inside a reusable workflow. Here it resolves to CI, which collides case-insensitively with the caller's ci-${{ github.ref }} group in ci.yml; with cancellation enabled this cancels the caller as the child starts. Use a distinct literal prefix such as typecheck-${{ github.ref }}.

[alt-glitch]

This was generated by AI during triage.

Duplicate of #62257 — both fix #62256 by adding the same concurrency group (cancel-in-progress: true) and timeout-minutes: 10 to the two jobs in .github/workflows/typecheck.yml. #62257 (2026-07-10) is the earlier, canonical fix; this one (2026-07-12) re-implements the identical change. Related: #62256 (spec), #62102 (sibling timeout work).

[vystartasv]

Closing — duplicate of #62257 (per alt-glitch triage)