ci: use active Intel macOS runner

[iamchorchos]

Summary

Replace the retired macos-13 Intel runner with macos-15-intel in CI and
release workflows.

macos-14 remains the Apple Silicon runner. This restores scheduled native
smoke tests and release builds for both macOS architectures.

Validation

• Confirmed the existing macOS matrix retains separate x86-64 and ARM64 jobs.
• Ran ./mvnw verify successfully on JDK 22:
  • 251,220 tests passed;
  • JaCoCo coverage checks passed;
  • SpotBugs reported no findings.
• Reviewed the workflow diff and ran git diff --check.

Checklist

• I kept the pull request focused and reviewed my own diff.
• I ran ./mvnw verify.
• I added or updated tests for changed behavior. Not applicable: runner-label-only change.
• I updated public documentation when required. Not applicable.
• I documented the source and tolerance of new numerical reference data. Not applicable.
• I verified that no new dependencies or license obligations were introduced.
• I did not commit secrets, generated build output or local configuration.

[codacy-production]

Up to standards ✅

🟢 Issues 0 issues

Results:
0 new issues

View in Codacy

🟢 Coverage ∅ diff coverage · +0.00% coverage variation

Metric	Results
Coverage variation	✅ +0.00% coverage variation (-1.00%)
Diff coverage	✅ ∅ diff coverage

View coverage diff in Codacy

Coverage variation details

	Coverable lines	Covered lines	Coverage
Common ancestor commit (7145a42)	1672	1532	91.63%
Head commit (1d93557)	1672 (+0)	1532 (+0)	91.63% (+0.00%)

Coverage variation is the difference between the coverage for the head and common ancestor commits of the pull request branch: <coverage of head commit> - <coverage of common ancestor commit>

Diff coverage details

	Coverable lines	Covered lines	Diff coverage
Pull request (#22)	0	0	∅ (not applicable)

Diff coverage is the percentage of lines that are covered by tests out of the coverable lines that the pull request added or modified: <covered lines added or modified>/<coverable lines added or modified> * 100%

AI Reviewer: first review requested successfully. AI can make mistakes. Always validate suggestions.

_{TIP This summary will be updated as you push new changes.}

[codacy-production]

Pull Request Overview

Codacy analysis indicates that the pull request is up to standards. The updates to the runner configurations for x86_64 macOS architectures in both the CI and release workflows align with the defined acceptance criteria. No blocking security flaws or logic bugs were identified in the implementation.

Test suggestions

• Verify that the CI smoke test matrix correctly targets macos-15-intel for x86_64
• Verify that the release workflow correctly targets macos-15-intel for the x86_64 platform

_{TIP Improve review quality by adding custom instructions
TIP How was this review? Give us feedback}