Skip to content

fix: clear make pr and docs-ci failures after API merges (fixes #145) - #146

Merged
acul71 merged 1 commit into
masterfrom
fix/145-lint-docs-ci
Sep 6, 2026
Merged

fix: clear make pr and docs-ci failures after API merges (fixes #145)#146
acul71 merged 1 commit into
masterfrom
fix/145-lint-docs-ci

Conversation

@acul71

@acul71 acul71 commented Sep 6, 2026

Copy link
Copy Markdown
Contributor

Summary

Context

These cleanups were briefly pushed directly to master, which does not run the tox workflow (push only watches main / github-actions). That commit was reverted so this PR can land the same fix with GitHub Actions coverage.

Test plan

  • make pr (lint, typecheck, tests)
  • make docs-ci
  • GitHub Actions tox matrix (lint / docs / core on 3.10–3.13)

Made with Cursor

Co-authored-by: Cursor <cursoragent@cursor.com>
@acul71
acul71 merged commit e232e2b into master Sep 6, 2026
10 checks passed
@acul71
acul71 deleted the fix/145-lint-docs-ci branch September 6, 2026 22:17
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.

make pr / make docs fail after recent API merges (ruff RUF043 + Sphinx docstring)

1 participant