ci: auto-patch miden-client dep from PR description marker - #65

Merged

WiktorStarczewski merged 3 commits into

mainfrom

wiktor/auto-patch-client-pr-main

Apr 30, 2026

Commits on Apr 30, 2026

ci: auto-patch miden-client dep from PR description marker
WiktorStarczewski
committed
3601e59
fix(ci): use POSIX [[:space:]]* instead of \s in marker grep
WiktorStarczewski
committed
8aeeba6
fix(ci): anchor Client PR marker regex to start-of-line
WiktorStarczewski
committed
0dbc33f