ci: fill github release description from CHANGELOG.md

[gmegidish]

Summary

The release job created releases with an empty description. Now it extracts the tagged version's section from CHANGELOG.md and uses it as the release body.

Changes

• Add checkout to the release job (it had none, so CHANGELOG.md was unavailable)
• Extract the tag's section with awk into release-notes.md
• Pass body_path to softprops/action-gh-release

Testing

Verified the awk extraction locally against tag 0.0.25. If a tag has no CHANGELOG entry, the body is empty — same as today.

https://claude.ai/code/session_01HAaFNGwaEHiXjE38cLxnvY

[coderabbitai]

Warning

Review limit reached

• Run on-demand review

_{On-demand reviews are free for the next 20 days. After that, they cost $0.25 per reviewed file.}

Or wait 44 minutes for your next included review.

View limit details

Limit details: You’ve used all 2 included reviews currently available. Your 53 included PR review attempts over the past 7 days set your current allowance at 2 reviews per hour.

Learn how review limits work.

Review configuration:

⚙️ Run configuration

Configuration used: Organization UI

Review profile: CHILL

Plan: Pro

Run ID: 39892a8e-2112-4cea-8678-ea5caccdb9c6

📥 Commits

Reviewing files that changed from the base of the PR and between 5dcc5ef and 178e3d8.

📒 Files selected for processing (1)

• .github/workflows/build.yml

---

_{Comment @coderabbitai help to get the list of available commands.}