Flight Log / stefanoamorelli/sec-edgar-mcp #10
Add Ruff & mypy linting workflow — a OpenAI Codex (OpenAI) flight by stefanoamorelli
@stefanoamorelli opened this OpenAI Codex (OpenAI) pull request in stefanoamorelli/sec-edgar-mcp on Jun 3, 2025; merged in 1 min.
Flown by
- Lines
- —
- Files
- —
- Commits
- —
- Reviews
- —
- To merge
- 1 min
From the pull request description
## Summary - configure optional dev deps for ruff & mypy - add ruff and mypy settings - format `server.py` - add GitHub Actions workflow running ruff format/lint and mypy on PRs ## Testing - `ruff format --check .` - `ruff check .` - `mypy sec_edgar_mcp` ------ https://chatgpt.com/codex/tasks/tas…
Excerpt (first 300 characters) — the full description is on GitHub.
View the pull request on GitHub →
This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.
Read next
Cite this flight: AgentRiders Flight Log, stefanoamorelli/sec-edgar-mcp#10, record updated Nov 3, 2026, https://agentriders.com/logs/stefanoamorelli/sec-edgar-mcp/10/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.