Skip to content

Actions: lean-dojo/LeanCopilot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
49 workflow runs
49 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
bump: to Lean v4.32.0 CI #38: Pull request #195 opened by Peiyang-Song
5m 41s stable
stable
5m 41s
Update README.md CI #37: Commit 4fc2eae pushed by Peiyang-Song
6m 56s stable
stable
6m 56s
Merge pull request #194 from lean-dojo/stable CI #36: Commit 2458f73 pushed by Peiyang-Song
13m 20s main
main
13m 20s
Update ci.yml CI #35: Commit 2592088 pushed by Peiyang-Song
12m 55s main
main
12m 55s
Update README.md CI #34: Commit 2e3b500 pushed by Peiyang-Song
13m 8s main
main
13m 8s
Bump to latest & fix bugs CI #33: Pull request #194 opened by Peiyang-Song
11m 33s stable
stable
11m 33s
fix: Support mac num proc calculation CI #32: Commit 8a83359 pushed by Peiyang-Song
13m 25s stable
stable
13m 25s
Merge pull request #192 from lean-dojo/stable CI #31: Commit 4ad50a8 pushed by Peiyang-Song
12m 18s main
main
12m 18s
Bump to v4.29.0 CI #30: Pull request #192 opened by Peiyang-Song
14m 38s stable
stable
14m 38s
Update readme CI #29: Commit 83e8a56 pushed by Peiyang-Song
13m 19s stable
stable
13m 19s
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