Repository navigation

Report shared and service workers ending as page_worker_ended, not page_crashed - #436

Open

archandatta wants to merge 3 commits into

mainfrom

archand/kernel-764/worker-ended

Commits on Oct 5, 2026

Report worker targets ending as worker_ended, not page_crashed

archandatta
and
claude
committed
4fc70eb

Commits on Oct 6, 2026

Rename worker_ended to page_worker_ended and drop the dedicated worker case

archandatta
and
claude
committed
0311bff
Pin page_worker_ended enum names so regeneration leaves existing constants alone

archandatta
and
claude
committed
de0add3