Skip to content

Actions: lean-dojo/LeanCopilot

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push_pr.yml
132 workflow runs
132 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