Skip to content

Actions: VeryMath/AI4Math-Lean-Agents

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
81 workflow runs
81 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
docs: add repository star prompt Verify Lean Formalization #77: Commit 7aed4db pushed by ConanXu-math
22s main
main
22s
init Verify Lean Formalization #76: Commit 08f27fc pushed by ConanXu-math
20s main
main
20s
init Verify Lean Formalization #75: Commit 44f6112 pushed by ConanXu-math
8s main
main
8s
Merge latest Lean agent feature updates into main Verify Lean Formalization #74: Commit 3baed0d pushed by ConanXu-math
9s backup/main-before-init-20260705-103344
backup/main-before-init-20260705-103344
9s
Merge latest Lean agent feature updates into main Verify Lean Formalization #73: Commit 3baed0d pushed by ConanXu-math
12s main
main
12s
Add Archon to related work references Verify Lean Formalization #72: Commit a5e4adf pushed by ConanXu-math
9s feature/numina-runtime-delivery
feature/numina-runtime-delivery
9s
Document partial Lean setup readiness Verify Lean Formalization #71: Commit de21408 pushed by ConanXu-math
9s feature/numina-runtime-delivery
feature/numina-runtime-delivery
9s
Merge feature/numina-runtime-delivery into main Verify Lean Formalization #70: Commit ca95097 pushed by ConanXu-math
12s main
main
12s
Harden Lean agent release boundaries Verify Lean Formalization #69: Commit 2b6aa1a pushed by ConanXu-math
12s feature/numina-runtime-delivery
feature/numina-runtime-delivery
12s
Distill Lean agent capability layer Verify Lean Formalization #68: Commit 9256eef pushed by ConanXu-math
8s feature/numina-runtime-delivery
feature/numina-runtime-delivery
8s
Clarify cross-platform Lean frontend setup Verify Lean Formalization #67: Commit d5eb23f pushed by ConanXu-math
9s main
main
9s
Clarify cross-platform Lean frontend setup Verify Lean Formalization #66: Commit c7b8670 pushed by ConanXu-math
12s feature/numina-runtime-delivery
feature/numina-runtime-delivery
12s
docs: fix lean setup runtime path Verify Lean Formalization #65: Commit 7a01d27 pushed by ConanXu-math
15s main
main
15s
Guide Lean IDE frontend setup Verify Lean Formalization #64: Commit db5b747 pushed by ConanXu-math
14s main
main
14s
Guide Lean IDE frontend setup Verify Lean Formalization #63: Commit cc4ec79 pushed by ConanXu-math
8s feature/numina-runtime-delivery
feature/numina-runtime-delivery
8s
Add Lean setup walkthrough example Verify Lean Formalization #62: Commit 40d9d6e pushed by ConanXu-math
9s feature/numina-runtime-delivery
feature/numina-runtime-delivery
9s
docs: add AI-assisted skill installation Verify Lean Formalization #61: Commit b087f21 pushed by ConanXu-math
11s main
main
11s
docs: standardize contributor ledger Verify Lean Formalization #60: Commit 6ff4dd2 pushed by ConanXu-math
11s main
main
11s
Make Lean backend adapters adapter-first Verify Lean Formalization #59: Commit d777c58 pushed by ConanXu-math
14s feature/numina-runtime-delivery
feature/numina-runtime-delivery
14s
Merge pull request #7 from VeryMath/codex/import-lean-baseline-20260627 Verify Lean Formalization #58: Commit 254dc41 pushed by ConanXu-math
10s main
main
10s
[codex] Pin Lean managed workspace baseline Verify Lean Formalization #57: Pull request #7 opened by ConanXu-math
12s codex/import-lean-baseline-20260627
codex/import-lean-baseline-20260627
12s
Pin managed Lean workspace baseline Verify Lean Formalization #56: Commit dff5b0b pushed by ConanXu-math
9s codex/import-lean-baseline-20260627
codex/import-lean-baseline-20260627
9s
Pin managed Lean workspace baseline Verify Lean Formalization #55: Commit 4615bbc pushed by ConanXu-math
11s feature/numina-runtime-delivery
feature/numina-runtime-delivery
11s
Merge pull request #6 from VeryMath/codex/import-lean-runtime-20260626 Verify Lean Formalization #54: Commit 85009ed pushed by ConanXu-math
11s main
main
11s
[codex] Import Lean runtime delivery Verify Lean Formalization #53: Pull request #6 opened by ConanXu-math
13s codex/import-lean-runtime-20260626
codex/import-lean-runtime-20260626
13s