Workflow runs · oOo0oOo/lean-lsp-mcp · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

13 workflow runs

13 workflow runs

[fix] Another stab at fixing CI CI #9: Commit 223a445 pushed by oOo0oOo

4m 14s main

main

4m 14s

[fix] Prevent full mathlib build in CI CI #8: Commit af6d17b pushed by oOo0oOo

8m 56s main

main

8m 56s

[fix] CI: no hang, remove dependabot CI #7: Commit bb4ce64 pushed by oOo0oOo

11m 25s main

main

11m 25s

[fix] CI: prepare-lean job CI #6: Commit 8b41582 pushed by oOo0oOo

53m 41s main

main

53m 41s

Bump mcp[cli] from 1.19.0 to 1.21.0 CI #5: Pull request #58 opened by dependabot bot

18s dependabot/pip/mcp-cli--1.21.0

dependabot/pip/mcp-cli--1.21.0

18s

Bump actions/checkout from 4 to 5 CI #4: Pull request #57 opened by dependabot bot

12s dependabot/github_actions/actions/checkout-5

dependabot/github_actions/actions/checkout-5

12s

Bump astral-sh/setup-uv from 5 to 7 CI #3: Pull request #56 opened by dependabot bot

16s dependabot/github_actions/astral-sh/setup-uv-7

dependabot/github_actions/astral-sh/setup-uv-7

16s

Bump actions/setup-python from 5 to 6 CI #2: Pull request #55 opened by dependabot bot

17s dependabot/github_actions/actions/setup-python-6

dependabot/github_actions/actions/setup-python-6

17s

pip in /. - Update #1145899290 Dependabot Updates #4: by dependabot bot

59s main

main

59s

github_actions in /. - Update #1145899293 Dependabot Updates #3: by dependabot bot

43s main

main

43s

github_actions in /. - Update #1145899291 Dependabot Updates #2: by dependabot bot

42s main

main

42s

pip in /. - Update #1145899292 Dependabot Updates #1: by dependabot bot

1m 1s main

main

1m 1s

[feature] Finally added basic CI CI #1: Commit 38a111c pushed by oOo0oOo

17s main

main

17s