Skip to content

Actions: lean-dojo/LeanCopilot

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
143 workflow runs
143 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Merge pull request #82 from lean-dojo/Peiyang-Song-patch-1 CI #52: Commit fc83eef pushed by Peiyang-Song
May 29, 2024 06:18 23m 19s main
main
May 29, 2024 06:18 23m 19s
Update readme & examples CI #51: Pull request #82 synchronize by Peiyang-Song
May 29, 2024 06:18 23m 12s Peiyang-Song-patch-1
Peiyang-Song-patch-1
May 29, 2024 06:18 23m 12s
Update readme & examples CI #50: Pull request #82 opened by Peiyang-Song
May 29, 2024 06:16 24m 25s Peiyang-Song-patch-1
Peiyang-Song-patch-1
May 29, 2024 06:16 24m 25s
Update README.md CI #49: Commit a0d0e07 pushed by Peiyang-Song
May 28, 2024 03:42 22m 50s main
main
May 28, 2024 03:42 22m 50s
Merge pull request #81 from Peiyang-Song/main CI #48: Commit f0f8cc4 pushed by Peiyang-Song
May 28, 2024 03:01 25m 2s main
main
May 28, 2024 03:01 25m 2s
Fix CI bug CI #47: Pull request #81 opened by Peiyang-Song
May 28, 2024 03:01 28m 51s Peiyang-Song:main
Peiyang-Song:main
May 28, 2024 03:01 28m 51s
Merge pull request #79 from lean-dojo/peiyang CI #46: Commit 877b768 pushed by Peiyang-Song
May 28, 2024 00:24 6m 7s main
main
May 28, 2024 00:24 6m 7s
tr CI #45: Commit 33162bc pushed by Peiyang-Song
May 28, 2024 00:22 5m 40s main
main
May 28, 2024 00:22 5m 40s
Merge pull request #79 from lean-dojo/peiyang CI #44: Commit 877b768 pushed by Peiyang-Song
May 27, 2024 23:13 5m 44s main
main
May 27, 2024 23:13 5m 44s
Update aesop to fix script format bug CI #43: Pull request #79 opened by Peiyang-Song
May 27, 2024 23:12 5m 46s peiyang
peiyang
May 27, 2024 23:12 5m 46s
Update README.md CI #42: Commit d2f568e pushed by Peiyang-Song
May 26, 2024 18:50 5m 39s main
main
May 26, 2024 18:50 5m 39s
Merge pull request #74 from lean-dojo/peiyang CI #41: Commit 62dfdc5 pushed by Peiyang-Song
May 25, 2024 22:58 5m 40s main
main
May 25, 2024 22:58 5m 40s
Fix lake monad bug CI #40: Pull request #74 opened by Peiyang-Song
May 25, 2024 22:58 5m 35s peiyang
peiyang
May 25, 2024 22:58 5m 35s
Merge pull request #73 from lean-dojo/peiyang CI #39: Commit 9b22717 pushed by Peiyang-Song
May 25, 2024 22:55 21s main
main
May 25, 2024 22:55 21s
Bump Lean to v4.8.0-rc2 CI #38: Pull request #73 opened by Peiyang-Song
May 25, 2024 22:55 22s peiyang
peiyang
May 25, 2024 22:55 22s
Merge pull request #71 from lean-dojo/peiyang CI #37: Commit 38449d3 pushed by Peiyang-Song
May 21, 2024 01:11 6m 17s main
main
May 21, 2024 01:11 6m 17s
Update demo CI #36: Pull request #71 opened by Peiyang-Song
May 21, 2024 01:11 5m 50s peiyang
peiyang
May 21, 2024 01:11 5m 50s
Merge branch 'main' of https://github.com/lean-dojo/LeanCopilot CI #35: Commit 24477d3 pushed by Peiyang-Song
May 20, 2024 22:52 5m 46s main
main
May 20, 2024 22:52 5m 46s
Support Lean v4.8.0-rc1 CI #34: Pull request #70 opened by Peiyang-Song
May 17, 2024 22:31 5m 44s peiyang
peiyang
May 17, 2024 22:31 5m 44s
Merge pull request #67 from alok/fix-build-name CI #33: Commit cf36e12 pushed by Peiyang-Song
May 17, 2024 22:24 6m 6s main
main
May 17, 2024 22:24 6m 6s
Bump to Lean v4.8.0-rc1 CI #32: Commit cf3e7f8 pushed by Peiyang-Song
May 17, 2024 22:23 5m 44s main
main
May 17, 2024 22:23 5m 44s
fix: coe string -> name removed, explicitly call String.toName CI #31: Pull request #67 opened by alok
April 28, 2024 09:45 7m 54s alok:fix-build-name
alok:fix-build-name
April 28, 2024 09:45 7m 54s
Update README.md CI #30: Commit b83f1d6 pushed by Peiyang-Song
April 22, 2024 05:29 25m 54s main
main
April 22, 2024 05:29 25m 54s
Merge pull request #65 from Peiyang-Song/main CI #29: Commit 0f15707 pushed by Peiyang-Song
April 4, 2024 23:05 21m 50s main
main
April 4, 2024 23:05 21m 50s
Bump CI from Node 16 to Node 20 CI #28: Pull request #65 opened by Peiyang-Song
April 4, 2024 23:04 21m 26s Peiyang-Song:main
Peiyang-Song:main
April 4, 2024 23:04 21m 26s