Skip to content

Actions: lean-dojo/LeanCopilot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
123 workflow runs
123 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' of https://github.com/lean-dojo/LeanCopilot CI #28: Commit bbecd66 pushed by Peiyang-Song
17m 28s main
main
17m 28s
Merge pull request #190 from lean-dojo/stable CI #27: Commit c360b5d pushed by Peiyang-Song
19m 25s main
main
19m 25s
Bump to latest stable version Lean 4.28.0 CI #26: Pull request #190 opened by Peiyang-Song
16m 59s stable
stable
16m 59s
Update README.md CI #25: Commit 1253a87 pushed by Peiyang-Song
19m 18s stable
stable
19m 18s
Update README.md CI #24: Commit b086230 pushed by Peiyang-Song
22m 49s main
main
22m 49s
Merge pull request #189 from lean-dojo/stable CI #23: Commit ed586c6 pushed by Peiyang-Song
21m 3s main
main
21m 3s
Bump to latest stable version Lean 4.27.0 & Fix bugs due to dependency upgrades CI #22: Pull request #189 opened by Peiyang-Song
17m 37s stable
stable
17m 37s
Merge branch 'main' of https://github.com/lean-dojo/LeanCopilot CI #21: Commit 74a3f03 pushed by Peiyang-Song
20m 54s stable
stable
20m 54s
Correct grammar in README.md for welcoming contributions CI #20: Commit deacd64 pushed by Peiyang-Song
7m 2s main
main
7m 2s
bump deps CI #19: Commit 57e858b pushed by Peiyang-Song
7m 6s main
main
7m 6s
Merge pull request #186 from lean-dojo/stable CI #18: Commit 4cdef7b pushed by Peiyang-Song
17m 55s main
main
17m 55s
Bump to latest stable Lean version CI #17: Pull request #186 opened by Peiyang-Song
19m 34s stable
stable
19m 34s
Update README CI #16: Commit 967d650 pushed by Peiyang-Song
22m 58s stable
stable
22m 58s
Update README.md CI #15: Commit 486603b pushed by Peiyang-Song
19m 34s main
main
19m 34s
Bump to latest: track the latest commits of dep packages CI #14: Commit 6cd705a pushed by Peiyang-Song
15m 50s main
main
15m 50s
Merge pull request #184 from lean-dojo/stable CI #13: Commit e14072d pushed by Peiyang-Song
15m 44s main
main
15m 44s
Bump to latest stable version Lean v4.25.0 CI #12: Pull request #184 opened by Peiyang-Song
17m 7s stable
stable
17m 7s
Update README.md CI #11: Commit 97e0684 pushed by Peiyang-Song
18m 54s stable
stable
18m 54s
Lean occasional crash problem seems to have disappeared CI #10: Commit b0c844f pushed by Peiyang-Song
21m 10s main
main
21m 10s
Merge branch 'main' of https://github.com/lean-dojo/LeanCopilot CI #9: Commit 20d7efe pushed by Peiyang-Song
21m 10s main
main
21m 10s
Merge pull request #183 from lean-dojo/stable CI #8: Commit 750936b pushed by Peiyang-Song
22m 59s main
main
22m 59s
Bump to latest stable Lean version (v4.24.0) CI #7: Pull request #183 opened by Peiyang-Song
14m 15s stable
stable
14m 15s
Update README CI #6: Commit 190b856 pushed by Peiyang-Song
16m 36s stable
stable
16m 36s
Update README.md CI #5: Commit a26e113 pushed by Peiyang-Song
16m 53s main
main
16m 53s
Merge pull request #182 from lean-dojo/stable CI #4: Commit c4c11b7 pushed by Peiyang-Song
14m 17s main
main
14m 17s