Skip to content

Actions: lean-dojo/LeanCopilot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
198 workflow runs
198 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add tar.gz CI #7: Commit 4bc4e6c pushed by yangky11
February 2, 2024 16:02 25m 18s main
main
February 2, 2024 16:02 25m 18s
update archive name CI #6: Commit 965d4ba pushed by yangky11
February 2, 2024 16:00 19m 13s main
main
February 2, 2024 16:00 19m 13s
bump to v1.1.1 CI #5: Commit 755dc24 pushed by yangky11
February 2, 2024 15:41 26m 27s main
main
February 2, 2024 15:41 26m 27s
fix aesop breaking change CI #4: Commit b2ca021 pushed by yangky11
February 2, 2024 15:12 25m 27s main
main
February 2, 2024 15:12 25m 27s
bump to v4.6.0-rc1 CI #3: Commit 1f44fdc pushed by yangky11
February 2, 2024 14:59 7m 54s main
main
February 2, 2024 14:59 7m 54s
Merge pull request #52 from Peiyang-Song/main CI #2: Commit 8c7b338 pushed by yangky11
January 22, 2024 02:00 21m 37s main
main
January 22, 2024 02:00 21m 37s
Add CI for PR targeting main CI #1: Pull request #52 opened by Peiyang-Song
January 22, 2024 01:16 19m 56s main
main
January 22, 2024 01:16 19m 56s
Merge pull request #51 from lean-dojo/peiyang-frontend CI #91: Commit 78b2baa pushed by yangky11
January 19, 2024 22:35 22m 53s main
main
January 19, 2024 22:35 22m 53s
Merge pull request #50 from lean-dojo/kaiyu CI #90: Commit 7c91d1e pushed by yangky11
January 18, 2024 16:32 8m 20s main
main
January 18, 2024 16:32 8m 20s
Update README.md CI #89: Commit 04204f7 pushed by yangky11
January 17, 2024 16:25 23m 58s main
main
January 17, 2024 16:25 23m 58s
Update README.md CI #88: Commit 73057bf pushed by yangky11
January 14, 2024 04:48 20m 55s main
main
January 14, 2024 04:48 20m 55s
Merge pull request #49 from lean-dojo/kaiyu CI #87: Commit dcd5751 pushed by yangky11
January 14, 2024 04:48 18m 34s main
main
January 14, 2024 04:48 18m 34s
bump CI #86: Commit 2dbace3 pushed by yangky11
January 11, 2024 18:22 21m 19s main
main
January 11, 2024 18:22 21m 19s
bump to v1.0.1 CI #85: Commit 5e5b194 pushed by yangky11
December 22, 2023 02:19 17m 27s main
main
December 22, 2023 02:19 17m 27s
Merge branch 'main' of https://github.com/lean-dojo/LeanCopilot into … CI #84: Commit 3915cb8 pushed by yangky11
December 22, 2023 02:18 18m 38s main
main
December 22, 2023 02:18 18m 38s
Update README.md CI #83: Commit b569112 pushed by yangky11
December 12, 2023 05:52 16m 30s main
main
December 12, 2023 05:52 16m 30s
Update README.md CI #82: Commit 8d7d51b pushed by yangky11
December 11, 2023 17:41 16m 20s main
main
December 11, 2023 17:41 16m 20s
Update build.sh CI #81: Commit 8e66201 pushed by yangky11
December 11, 2023 07:30 16m 14s main
main
December 11, 2023 07:30 16m 14s
Update build_example.sh CI #80: Commit 44cfb79 pushed by yangky11
December 11, 2023 07:30 17m 59s main
main
December 11, 2023 07:30 17m 59s
Update README.md CI #79: Commit 3699b5d pushed by yangky11
December 11, 2023 04:55 17m 4s main
main
December 11, 2023 04:55 17m 4s
Update README.md CI #78: Commit b48b8af pushed by yangky11
December 11, 2023 04:39 18m 42s main
main
December 11, 2023 04:39 18m 42s
fix ci CI #77: Commit 7f05319 pushed by Peiyang-Song
December 11, 2023 01:19 20m 1s main
main
December 11, 2023 01:19 20m 1s
Merge branch 'main' of https://github.com/lean-dojo/LeanCopilot CI #76: Commit 6bd4381 pushed by yangky11
December 11, 2023 01:17 12m 19s main
main
December 11, 2023 01:17 12m 19s
fix ci CI #75: Commit ab72615 pushed by Peiyang-Song
December 11, 2023 01:03 13m 0s main
main
December 11, 2023 01:03 13m 0s
Merge branch 'main' of https://github.com/lean-dojo/LeanCopilot into … CI #74: Commit 5014100 pushed by yangky11
December 11, 2023 00:56 10m 5s main
main
December 11, 2023 00:56 10m 5s