docs: reuse Makefile targets in CI and simplify AGENTS.md - #3825
Merged
FBruzzesi merged 7 commits intoJul 30, 2026
background
wait
wait-all
cancel
parallel
Loading