Skip to content

chore: rename ExecutorRuntime → CoreRunner in docs#8

Merged
ProtocolWarden merged 1 commit into
mainfrom
chore/corerunner-refs
May 19, 2026
Merged

chore: rename ExecutorRuntime → CoreRunner in docs#8
ProtocolWarden merged 1 commit into
mainfrom
chore/corerunner-refs

Commits

Commits on May 19, 2026