Skip to content

Actions: keithadler/leanstudio

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
102 workflow runs
102 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
Mathlib Mathlib #3: Scheduled
7m 36s main
main
7m 36s
Lean Studio 1.0.0: onramp for beginners and tools for very large proj… CI #99: Commit aa3e5c8 pushed by keithadler
10m 9s v1.0.0
v1.0.0
10m 9s
Lean Studio 1.0.0: onramp for beginners and tools for very large proj… CI #98: Commit aa3e5c8 pushed by keithadler
12m 33s main
main
12m 33s
Lean Studio 1.0.0: onramp for beginners and tools for very large projects CI #97: Pull request #4 synchronize by keithadler
7m 42s claude/busy-ramanujan-czb1l2
claude/busy-ramanujan-czb1l2
7m 42s
Lean Studio 1.0.0: onramp for beginners and tools for very large projects CI #96: Pull request #4 synchronize by keithadler
8m 38s claude/busy-ramanujan-czb1l2
claude/busy-ramanujan-czb1l2
8m 38s
Lean Studio 1.0.0: onramp for beginners and tools for very large projects CI #95: Pull request #4 synchronize by keithadler
10m 53s claude/busy-ramanujan-czb1l2
claude/busy-ramanujan-czb1l2
10m 53s
Lean Studio 1.0.0: onramp for beginners and tools for very large projects CI #94: Pull request #4 opened by keithadler
7m 6s claude/busy-ramanujan-czb1l2
claude/busy-ramanujan-czb1l2
7m 6s
Mathlib-contributor tools, new editor commands, and version 0.11.0 CI #93: Commit 301e4a4 pushed by keithadler
16m 33s v0.11.0
v0.11.0
16m 33s
Mathlib-contributor tools, new editor commands, and version 0.11.0 CI #92: Commit 301e4a4 pushed by keithadler
10m 56s main
main
10m 56s
Mathlib-contributor tools, new editor commands, and version 0.11.0 CI #91: Pull request #3 synchronize by keithadler
8m 52s claude/busy-ramanujan-czb1l2
claude/busy-ramanujan-czb1l2
8m 52s
Mathlib-contributor tools, new editor commands, and version 0.11.0 CI #90: Pull request #3 synchronize by keithadler
7m 22s claude/busy-ramanujan-czb1l2
claude/busy-ramanujan-czb1l2
7m 22s
Mathlib-contributor tools, new editor commands, and version 0.11.0 CI #89: Pull request #3 synchronize by keithadler
7m 40s claude/busy-ramanujan-czb1l2
claude/busy-ramanujan-czb1l2
7m 40s
Mathlib-contributor tools, new editor commands, and version 0.11.0 CI #88: Pull request #3 synchronize by keithadler
7m 20s claude/busy-ramanujan-czb1l2
claude/busy-ramanujan-czb1l2
7m 20s
Mathlib-contributor tools, new editor commands, and version 0.11.0 CI #87: Pull request #3 synchronize by keithadler
6m 54s claude/busy-ramanujan-czb1l2
claude/busy-ramanujan-czb1l2
6m 54s
Mathlib-contributor tools, new editor commands, and version 0.11.0 CI #86: Pull request #3 synchronize by keithadler
11m 50s claude/busy-ramanujan-czb1l2
claude/busy-ramanujan-czb1l2
11m 50s
Mathlib-contributor tools, new editor commands, and version 0.11.0 CI #85: Pull request #3 opened by keithadler
11m 37s claude/busy-ramanujan-czb1l2
claude/busy-ramanujan-czb1l2
11m 37s
Keep a project's folder without a trailing slash CI #84: Commit 051dec8 pushed by keithadler
11m 47s main
main
11m 47s
Never leave a request to Lean waiting on an answer that was dropped CI #83: Commit e01c3a2 pushed by keithadler
9m 20s main
main
9m 20s
Tests: cancel a stuck live-profiler step instead of abandoning it CI #82: Commit 9d51782 pushed by keithadler
11m 56s main
main
11m 56s
Keep scroll positions by what the text view shows CI #81: Commit f4754b5 pushed by keithadler
14m 37s main
main
14m 37s
Tests: CRLF checkouts, and a time limit on each new Lean test CI #80: Commit d9a8ae1 pushed by keithadler
7m 56s main
main
7m 56s
Terminal, side-by-side diffs, merge conflicts, sticky scroll, AI comp… CI #79: Commit 6bd99a0 pushed by keithadler
21m 28s main
main
21m 28s
Verify reads a build made outside the server; fix the CI failures CI #78: Commit acd9482 pushed by keithadler
9m 0s main
main
9m 0s
Check the files that import a change; live profiling and the check at… CI #77: Commit b8e6280 pushed by keithadler
10m 36s main
main
10m 36s
Profile as you edit, and a heartbeat regression check for CI CI #76: Commit 91ce797 pushed by keithadler
7m 21s main
main
7m 21s