mirror of
https://github.com/harvard-edge/cs249r_book.git
synced 2026-07-21 00:23:30 -05:00
Both workflows grouped only on github.ref, so a manual workflow_dispatch (or, for tinytorch, a workflow_call from publish-live) on the same SHA as a push cancelled the push run via cancel-in-progress, leaving the README badge red on a healthy SHA. Switch both to the head_ref||run_id pattern already used by kits, mlsysim, site, slides, and instructors: PRs still cancel on amend (head_ref shared), push/dispatch/call get unique groups via run_id.