trigger review on request rather than on all commits

[alexanderlhicks]

No description provided.

[github-actions]

🤖 Gemini PR Summary

This PR transitions the AI code review process from an automatic, commit-based trigger to an on-demand model. This change is intended to reduce noise and provide developers with more control over when automated reviews are performed.

Features

• On-Demand AI Reviews: Updated the .github/workflows/ai_review.yml workflow to trigger only via manual dispatch or when a /review comment is made on a pull request, rather than running automatically on every commit or PR event.

Fixes

• Toolchain Formatting: Removed an unnecessary trailing newline from the lean-toolchain file.

Refactoring

• Workflow Optimization: Streamlined the CI/CD pipeline by removing automatic triggers for the AI review process, which helps manage resource consumption and provides more relevant feedback upon request.

---

Analysis of Changes

Metric	Count
📝 Files Changed	2
✅ Lines Added	0
❌ Lines Removed	0

---

sorry Tracking

• No sorrys were added, removed, or affected.

---

📄 **Per-File Summaries**

• .github/workflows/ai_review.yml: Updates the AI code review workflow to trigger on-demand via manual dispatch or a /review comment instead of automatically on pull request events.
• lean-toolchain: Removed the trailing newline from the lean-toolchain file.

---

Last updated: 2026-01-06 16:25 UTC.