Skip to content

Actions: lean-dojo/LeanCopilot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
217 workflow runs
217 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #142 from lean-dojo/peiyang-dev CI #134: Commit 3b9be01 pushed by yangky11
January 4, 2025 15:17 11m 45s main
main
January 4, 2025 15:17 11m 45s
Bump to latest (v4.16.0-rc1) CI #133: Pull request #142 opened by Peiyang-Song
January 4, 2025 10:08 12m 48s peiyang-dev
peiyang-dev
January 4, 2025 10:08 12m 48s
Merge pull request #141 from lean-dojo/stable CI #132: Commit 0ce6df3 pushed by Peiyang-Song
January 4, 2025 08:28 12m 1s main
main
January 4, 2025 08:28 12m 1s
Bump to v4.15.0 CI #131: Pull request #141 opened by Peiyang-Song
January 4, 2025 08:16 11m 55s stable
stable
January 4, 2025 08:16 11m 55s
Update README.md CI #130: Commit d5d91ee pushed by Peiyang-Song
January 2, 2025 23:54 12m 20s main
main
January 2, 2025 23:54 12m 20s
Update README.md CI #129: Commit 1c84b5b pushed by yangky11
December 30, 2024 16:57 11m 39s main
main
December 30, 2024 16:57 11m 39s
Update README.md CI #128: Commit aa07d21 pushed by yangky11
December 30, 2024 16:56 14m 2s main
main
December 30, 2024 16:56 14m 2s
Merge pull request #139 from ldct/patch-1 CI #127: Commit 683f07b pushed by yangky11
December 30, 2024 16:52 10m 51s main
main
December 30, 2024 16:52 10m 51s
Minor change to the tests handling a natural failure case of suggest … CI #125: Commit e01712a pushed by Peiyang-Song
December 25, 2024 23:30 14m 3s main
main
December 25, 2024 23:30 14m 3s
bump to v4.15.0-rc1 CI #124: Commit 27a67c6 pushed by yangky11
December 25, 2024 18:58 11m 44s main
main
December 25, 2024 18:58 11m 44s
revert to v4.14.0 CI #123: Commit 77fdb81 pushed by yangky11
December 25, 2024 18:44 11m 4s main
main
December 25, 2024 18:44 11m 4s
Merge branch 'main' of https://github.com/lean-dojo/LeanCopilot CI #122: Commit db571ba pushed by yangky11
December 25, 2024 18:35 6m 10s main
main
December 25, 2024 18:35 6m 10s
Update README.md CI #121: Commit 46a605e pushed by yangky11
December 25, 2024 18:22 5m 43s main
main
December 25, 2024 18:22 5m 43s
Update README.md CI #120: Commit 5afd874 pushed by yangky11
December 25, 2024 18:22 7m 8s main
main
December 25, 2024 18:22 7m 8s
Update README.md CI #119: Commit 5589a25 pushed by yangky11
December 25, 2024 18:18 6m 13s main
main
December 25, 2024 18:18 6m 13s
Update README.md CI #118: Commit d61040e pushed by yangky11
December 25, 2024 02:09 6m 13s main
main
December 25, 2024 02:09 6m 13s
edit readme CI #117: Commit 0129cc5 pushed by yangky11
December 24, 2024 19:49 13m 54s main
main
December 24, 2024 19:49 13m 54s
Merge pull request #138 from lean-dojo/v4.14.0 CI #116: Commit 5203efb pushed by yangky11
December 24, 2024 19:07 13m 57s main
main
December 24, 2024 19:07 13m 57s
bump to v4.14.0 CI #115: Pull request #138 opened by yangky11
December 24, 2024 19:07 14m 12s v4.14.0
v4.14.0
December 24, 2024 19:07 14m 12s
Bump to latest version of Lean and fix errors introduced by breaking changes CI #114: Pull request #129 opened by Peiyang-Song
November 4, 2024 01:52 4m 51s dev
dev
November 4, 2024 01:52 4m 51s
Revert "bump" CI #113: Commit f6a3f14 pushed by Peiyang-Song
November 4, 2024 01:35 19m 34s main
main
November 4, 2024 01:35 19m 34s
bump CI #112: Commit bad1406 pushed by yangky11
October 19, 2024 00:41 2m 48s main
main
October 19, 2024 00:41 2m 48s
Update README CI #111: Commit 880f820 pushed by Peiyang-Song
September 2, 2024 09:55 20m 7s main
main
September 2, 2024 09:55 20m 7s
Merge pull request #123 from lean-dojo/peiyang CI #110: Commit 8379991 pushed by Peiyang-Song
September 2, 2024 09:54 17m 43s main
main
September 2, 2024 09:54 17m 43s
Bump to Lean v4.11.0 with deps CI #109: Pull request #123 opened by Peiyang-Song
September 2, 2024 09:54 16m 25s peiyang
peiyang
September 2, 2024 09:54 16m 25s