chore(release): release 7.1.2

[github-actions]

🤖 I have created a release

7.1.2 (2025-12-06)

Miscellaneous Chores

• deps: update actions/checkout action to v6.0.1 (960f22b)
• deps: update actions/checkout digest to 8e8c483 (4f8e947)
• deps: update github/codeql-action action to v4.31.7 (6129194)
• deps: update step-security/harden-runner action to v2.13.3 (c6b508d)

---

This PR was generated with Release Please. See documentation.

[coderabbitai]

Important

Review skipped

Bot user detected.

To trigger a single review, invoke the @coderabbitai review command.

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

---

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

[gitstream-cm]

🚨 gitStream Monthly Automation Limit Reached 🚨

Your organization has exceeded the number of pull requests allowed for automation with gitStream.
Monthly PRs automated: 250/250

To continue automating your PR workflows and unlock additional features, please contact LinearB.