Skip to content

Actions: lean-dojo/LeanCopilot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
57 workflow runs
57 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Update README.md CI #53: Commit 6073803 pushed by Peiyang-Song
22m 18s main
main
22m 18s
Revert "Bump to latest" CI #52: Commit f8a75f5 pushed by Peiyang-Song
22m 55s main
main
22m 55s
Bump to latest CI #51: Commit 00dc672 pushed by Peiyang-Song
6m 59s main
main
6m 59s
Merge pull request #198 from lean-dojo/bump-lean-v4.33.0 CI #50: Commit 5e00f2d pushed by Peiyang-Song
17m 17s main
main
17m 17s
Bump to Lean v4.33.0; support prebuilt system libraries CI #49: Pull request #198 opened by Peiyang-Song
19m 35s bump-lean-v4.33.0
bump-lean-v4.33.0
19m 35s
Merge pull request #195 from lean-dojo/stable CI #48: Commit 2a5cd0e pushed by Peiyang-Song
21m 19s main
main
21m 19s
bump to Lean v4.32.0 & fix bugs CI #47: Pull request #195 synchronize by Peiyang-Song
22m 25s stable
stable
22m 25s
Wire the documented libstdc++ recipe into the lean_exe smoke test CI #46: Commit b7dcc78 pushed by Peiyang-Song
23m 40s stable
stable
23m 40s
bump to Lean v4.32.0 & fix bugs CI #45: Pull request #195 synchronize by Peiyang-Song
15m 17s stable
stable
15m 17s
Fix #196: don't statically bundle libstdc++ (duplicate-symbol conflict) CI #44: Commit dad1b34 pushed by Peiyang-Song
12m 13s stable
stable
12m 13s
bump to Lean v4.32.0 & fix bugs CI #43: Pull request #195 synchronize by Peiyang-Song
15m 11s stable
stable
15m 11s
Add a lean_exe regression test for #196 and document the fix CI #42: Commit f39e5d2 pushed by Peiyang-Song
16m 10s stable
stable
16m 10s
bump to Lean v4.32.0 & fix bugs CI #41: Pull request #195 synchronize by Peiyang-Song
14m 25s stable
stable
14m 25s
Fix OpenBLAS SIGILL, lean_exe libstdc++ link failure, and pin native … CI #40: Commit 8a07d82 pushed by Peiyang-Song
16m 6s stable
stable
16m 6s
bump to Lean v4.32.0 & fix bugs CI #38: Pull request #195 opened by Peiyang-Song
5m 41s stable
stable
5m 41s
Update README.md CI #37: Commit 4fc2eae pushed by Peiyang-Song
6m 56s stable
stable
6m 56s
Merge pull request #194 from lean-dojo/stable CI #36: Commit 2458f73 pushed by Peiyang-Song
13m 20s main
main
13m 20s
Update ci.yml CI #35: Commit 2592088 pushed by Peiyang-Song
12m 55s main
main
12m 55s
Update README.md CI #34: Commit 2e3b500 pushed by Peiyang-Song
13m 8s main
main
13m 8s
Bump to latest & fix bugs CI #33: Pull request #194 opened by Peiyang-Song
11m 33s stable
stable
11m 33s
fix: Support mac num proc calculation CI #32: Commit 8a83359 pushed by Peiyang-Song
13m 25s stable
stable
13m 25s
Merge pull request #192 from lean-dojo/stable CI #31: Commit 4ad50a8 pushed by Peiyang-Song
12m 18s main
main
12m 18s
Bump to v4.29.0 CI #30: Pull request #192 opened by Peiyang-Song
14m 38s stable
stable
14m 38s
Update readme CI #29: Commit 83e8a56 pushed by Peiyang-Song
13m 19s stable
stable
13m 19s
Merge branch 'main' of https://github.com/lean-dojo/LeanCopilot CI #28: Commit bbecd66 pushed by Peiyang-Song
17m 28s main
main
17m 28s