Skip to content

Actions: lean-dojo/LeanCopilot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
62 workflow runs
62 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
Fix #200 CI #59: Commit a303359 pushed by Peiyang-Song
15m 38s main
main
15m 38s
Update README.md CI #58: Commit 84e433e pushed by Peiyang-Song
18m 34s main
main
18m 34s
Merge pull request #199 from lean-dojo/stable CI #57: Commit 5af8991 pushed by Peiyang-Song
20m 44s main
main
20m 44s
Bump to latest Lean v4.34.0 CI #56: Pull request #199 opened by Peiyang-Song
15m 6s stable
stable
15m 6s
Update README CI #55: Commit 79c83ce pushed by Peiyang-Song
21m 36s stable
stable
21m 36s
Bump to latest: Lean v4.32.0 CI #54: Commit bfd43e1 pushed by Peiyang-Song
21m 39s stable
stable
21m 39s
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