Skip to content

chore: trim dead code and run mypy in CI#16

Merged
CryptoJones merged 1 commit into
mainfrom
chore/dead-code-mypy-ci
Jun 4, 2026
Merged

chore: trim dead code and run mypy in CI#16
CryptoJones merged 1 commit into
mainfrom
chore/dead-code-mypy-ci

Conversation

@CryptoJones
Copy link
Copy Markdown
Owner

Closes #15.

Summary

  • Wire mypy src into both pipelines (GitHub Actions + Woodpecker). pyproject.toml already has strict = true; mypy passes clean today, so this just keeps it green.
  • Remove the dead .prose-omi li.task CSS rule — the bundled marked emits task list items as plain <li>, so it never matched.
  • Fix the stale store.SECTIONS reference in the seeds.py template comment (no such symbol; real contract is store.parse_note).
  • check_prereqs() is now -> None — it only raises or logs, and no caller used the returned list.

Test plan

  • ruff check . — clean
  • mypy src — Success: no issues found in 8 source files
  • pytest -q — 63 passed

Proudly Made in Nebraska. Go Big Red! 🌽 https://xkcd.com/2347/

Three small cleanups plus a CI gap:

- Wire `mypy src` into both pipelines (GitHub Actions + Woodpecker). The
  project declares `strict = true` in pyproject.toml but nothing ever ran
  mypy — it passes clean today, so this just keeps it that way.
- Drop the `.prose-omi li.task` CSS rule. The bundled marked renderer
  emits task list items as plain `<li>` (the checkbox is a nested
  `<input>`), so the selector never matched.
- Fix a stale comment in seeds.py that pointed at `store.SECTIONS`, a
  symbol that doesn't exist; the real parse contract is store.parse_note.
- Make `check_prereqs()` return None — it only raises or logs, and no
  caller used the missing-tools list it returned.

No behavior change; all 63 tests, ruff, and mypy pass.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@CryptoJones CryptoJones merged commit ee29749 into main Jun 4, 2026
3 checks passed
@CryptoJones CryptoJones deleted the chore/dead-code-mypy-ci branch June 4, 2026 10:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Trim dead code and run mypy in CI

1 participant