Skip to content

shard(tick): 0855Z — PR #3389 merged; PR #3391 4-thread fix incl. major mechanization-proposal correction - #3393

Merged
AceHack merged 3 commits into
mainfrom
shard/tick-0855z-otto-cli-2026-05-15
May 15, 2026
Merged

shard(tick): 0855Z — PR #3389 merged; PR #3391 4-thread fix incl. major mechanization-proposal correction#3393
AceHack merged 3 commits into
mainfrom
shard/tick-0855z-otto-cli-2026-05-15

fix(shard): add BSD-vs-GNU sed portability note per Codex P2 on PR #3393

1950175
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL succeeded May 15, 2026 in 1s

No new alerts in code changed by this pull request

View all branch alerts.