Skip to content

Actions: lean-dojo/LeanCopilot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
141 workflow runs
141 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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