Skip to content

[world-local] Reject run_failed on non-existent run#1894

Merged
VaguelySerious merged 1 commit into
mainfrom
peter/world-local-run-failed-not-found
May 2, 2026
Merged

[world-local] Reject run_failed on non-existent run#1894
VaguelySerious merged 1 commit into
mainfrom
peter/world-local-run-failed-not-found

Commits

Commits on May 2, 2026