Add lean-release-tag and lean-update workflows

[alexanderlhicks]

No description provided.

[github-actions]

🤖 Gemini PR Summary

This PR enhances the repository's CI/CD pipeline by introducing automated workflows for managing Lean toolchains and project updates. These additions streamline the maintenance of Lean-based projects by automating version tagging and synchronization.

Features

• Automated Release Tagging: Introduced the lean-release-tag workflow, which automatically generates a release tag whenever the lean-toolchain file is updated on the main or master branches. This ensures version tracking stays in sync with toolchain upgrades.
• Scheduled Project Updates: Added the update_lean_project workflow to automate Lean project updates. This can be triggered manually or run on a daily schedule to ensure dependencies and environment configurations remain current.

Fixes

• None.

Refactoring

• None.

Documentation

• None.

---

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/lean_release_tag.yml: Introduces a GitHub workflow to automatically create release tags whenever the lean-toolchain file is updated on the main or master branches.
• .github/workflows/update_lean_project.yml: Adds a GitHub Actions workflow to automate Lean project updates on a daily schedule or via manual trigger.

---

Last updated: 2026-01-06 14:53 UTC.

[github-actions]

🤖 AI Review (with external context)

🤖 AI Review

Overall Summary:
No files were reviewed.

---