Skip to content

Actions: lean-dojo/LeanCopilot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
223 workflow runs
223 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 main
main
April 4, 2024 23:04 21m 26s
bump to v4.7.0 CI #27: Commit 4e2cebe pushed by yangky11
April 4, 2024 21:18 20m 0s main
main
April 4, 2024 21:18 20m 0s
update CI #26: Commit bd597ef pushed by yangky11
April 4, 2024 21:10 23m 58s main
main
April 4, 2024 21:10 23m 58s
Update suggest_tactics figures in README CI #25: Commit f206b39 pushed by Peiyang-Song
April 3, 2024 07:05 26s main
main
April 3, 2024 07:05 26s
Merge branch 'main' of https://github.com/lean-dojo/LeanCopilot CI #24: Commit 839c5cf pushed by Peiyang-Song
April 3, 2024 06:40 25m 36s main
main
April 3, 2024 06:40 25m 36s
Merge pull request #64 from Peiyang-Song/main CI #23: Commit d99af09 pushed by Peiyang-Song
April 3, 2024 01:13 21m 52s main
main
April 3, 2024 01:13 21m 52s
Fix tactic suggestion formatting bug CI #22: Pull request #64 opened by Peiyang-Song
April 3, 2024 01:13 20m 33s main
main
April 3, 2024 01:13 20m 33s
Remove MacOS from CI CI #21: Commit b983b89 pushed by Peiyang-Song
March 26, 2024 20:47 22m 10s main
main
March 26, 2024 20:47 22m 10s
Update CI CI #20: Pull request #62 opened by Peiyang-Song
March 26, 2024 03:16 2m 42s main
main
March 26, 2024 03:16 2m 42s
Update README.md CI #19: Commit 2c60e84 pushed by yangky11
March 25, 2024 13:25 20m 5s main
main
March 25, 2024 13:25 20m 5s
Update README.md CI #18: Commit 8db1412 pushed by yangky11
March 25, 2024 13:21 21m 10s main
main
March 25, 2024 13:21 21m 10s
Merge pull request #60 from Peiyang-Song/main CI #17: Commit f3c4262 pushed by Peiyang-Song
March 14, 2024 04:48 25m 51s main
main
March 14, 2024 04:48 25m 51s
Minor fix for frontend CI #16: Pull request #60 opened by Peiyang-Song
March 14, 2024 03:53 26m 26s main
main
March 14, 2024 03:53 26m 26s
bump to 4.7.0-rc2 CI #15: Commit 164914a pushed by yangky11
March 6, 2024 15:18 21m 3s main
main
March 6, 2024 15:18 21m 3s
Delete .DS_Store CI #14: Commit bf7058b pushed by Peiyang-Song
March 3, 2024 22:18 19m 3s main
main
March 3, 2024 22:18 19m 3s
Merge pull request #59 from Peiyang-Song/main CI #13: Commit 37d51ba pushed by Peiyang-Song
March 3, 2024 21:49 20m 8s main
main
March 3, 2024 21:49 20m 8s
Minor fix for CI CI #12: Pull request #59 opened by Peiyang-Song
March 3, 2024 21:48 17m 47s main
main
March 3, 2024 21:48 17m 47s
minor fix CI #11: Commit f00ec56 pushed by yangky11
March 3, 2024 05:32 7m 46s main
main
March 3, 2024 05:32 7m 46s
bump to v4.6.0 CI #10: Commit 2c024ca pushed by yangky11
March 2, 2024 07:45 4m 0s main
main
March 2, 2024 07:45 4m 0s
Update README.md CI #9: Commit 10c68a3 pushed by yangky11
February 21, 2024 17:00 5m 46s main
main
February 21, 2024 17:00 5m 46s
Update README.md CI #8: Commit 38a5a48 pushed by yangky11
February 8, 2024 16:01 27m 23s main
main
February 8, 2024 16:01 27m 23s