ci: auto-patch miden-client dep from PR description marker (next) - #66

Merged

WiktorStarczewski merged 3 commits into

nextfrom

wiktor/auto-patch-client-pr-next

Apr 30, 2026

Commits on Apr 30, 2026

ci: auto-patch miden-client dep from PR description marker
WiktorStarczewski
committed
beb46d7
fix(ci): use POSIX [[:space:]]* instead of \s in marker grep
WiktorStarczewski
committed
8103c2b
fix(ci): anchor Client PR marker regex to start-of-line
WiktorStarczewski
committed
f1573e0