Skip to content

Actions: justincasher/lean-explore

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
232 workflow runs
232 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
Add titles to public MCP tools (#85) CI #296: Commit 6b25f86 pushed by justincasher
2m 6s main
main
2m 6s
Add titles to public MCP tools CI #295: Pull request #85 opened by justincasher
2m 46s codex/mcp-tool-titles
codex/mcp-tool-titles
2m 46s
Graph Update: pip in /. #1500777381 Dependency Graph #2: by dependabot Bot
41s main
main
41s
Prepare public MCP directory submission and 1.3.0 release (#84) CI #294: Commit 28eac03 pushed by justincasher
2m 15s main
main
2m 15s
Prepare public MCP directory submission and 1.3.0 release CI #293: Pull request #84 synchronize by justincasher
2m 23s codex/mcp-submission-annotations
codex/mcp-submission-annotations
2m 23s
Prepare public MCP directory submission and 1.3.0 release CI #292: Pull request #84 opened by justincasher
2m 14s codex/mcp-submission-annotations
codex/mcp-submission-annotations
2m 14s
Deprecate verbose MCP search tool (#83) CI #291: Commit b86819c pushed by justincasher
2m 8s main
main
2m 8s
Deprecate the full-result MCP search tool CI #290: Pull request #83 opened by justincasher
1m 57s codex/deprecate-mcp-search
codex/deprecate-mcp-search
1m 57s
Graph Update: pip in /. #1500760121 Dependency Graph #1: by dependabot Bot
48s main
main
48s
Remove API key requirements and add public MCP plugin (#82) CI #289: Commit 27e2377 pushed by justincasher
2m 28s main
main
2m 28s
Remove API key requirements and add public MCP plugin CI #288: Pull request #82 synchronize by justincasher
1m 56s codex/public-no-auth
codex/public-no-auth
1m 56s
Remove API key requirements and add public MCP plugin CI #287: Pull request #82 synchronize by justincasher
2m 0s codex/public-no-auth
codex/public-no-auth
2m 0s
Remove API key requirements and add public MCP plugin CI #286: Pull request #82 opened by justincasher
2m 42s codex/public-no-auth
codex/public-no-auth
2m 42s
Bump PhysLean extractor to v4.29.1 (#81) CI #285: Commit 3a52d6b pushed by justincasher
1m 52s main
main
1m 52s
Bump PhysLean extractor to v4.29.1 CI #284: Pull request #81 opened by justincasher
2m 1s bump-physlean-v4.29.1
bump-physlean-v4.29.1
2m 1s
Support doc-gen4 SQLite database format in extractor (#80) CI #283: Commit 9da7566 pushed by justincasher
2m 0s main
main
2m 0s
Support doc-gen4 SQLite database format in extractor CI #282: Pull request #80 synchronize by justincasher
1m 57s docgen4-sqlite-python
docgen4-sqlite-python
1m 57s
Support doc-gen4 SQLite database format in extractor CI #281: Pull request #80 opened by justincasher
2m 1s docgen4-sqlite-python
docgen4-sqlite-python
2m 1s
Add user-facing documentation (#78) CI #280: Commit 449c820 pushed by justincasher
1m 50s main
main
1m 50s
Bump extractor workspaces for doc-gen4 SQLite support (#79) CI #279: Commit 58d8439 pushed by justincasher
1m 58s main
main
1m 58s
Bump extractor workspaces for doc-gen4 SQLite support CI #278: Pull request #79 opened by justincasher
1m 56s lean-docgen4-sqlite-deps
lean-docgen4-sqlite-deps
1m 56s
Add user-facing documentation CI #277: Pull request #78 synchronize by justincasher
1m 57s justin/docs
justin/docs
1m 57s
Add user-facing documentation CI #276: Pull request #78 synchronize by justincasher
1m 47s justin/docs
justin/docs
1m 47s
Add user-facing documentation CI #275: Pull request #78 synchronize by justincasher
1m 54s justin/docs
justin/docs
1m 54s
Add user-facing documentation CI #274: Pull request #78 synchronize by justincasher
2m 7s justin/docs
justin/docs
2m 7s