Skip to content

Release hygiene, typed package, CI matrix, property laws, docs#10

Merged
minamorl merged 1 commit intomainfrom
codex/add-typed-package-and-legal-materials
Sep 4, 2025
Merged

Release hygiene, typed package, CI matrix, property laws, docs#10
minamorl merged 1 commit intomainfrom
codex/add-typed-package-and-legal-materials

Conversation

@minamorl
Copy link
Copy Markdown
Owner

@minamorl minamorl commented Sep 4, 2025

Summary

  • ship typed marker and broaden Python support
  • add MIT license
  • expand CI matrix to 3.10–3.12 and run on version tags
  • add Hypothesis-based law tests
  • document Result/Either/Validation differences and extensional equality
  • bump version to 0.5.1 for release

Testing

  • poetry install --with dev
  • pytest -q
  • mypy --strict darkcore
  • poetry build
  • unzip -l dist/darkcore-0.5.1-py3-none-any.whl | grep py.typed

https://chatgpt.com/codex/tasks/task_e_68b938c68574832f8301b6495a39303c

@minamorl minamorl merged commit 32b6334 into main Sep 4, 2025
3 checks passed
@minamorl minamorl deleted the codex/add-typed-package-and-legal-materials branch September 4, 2025 07:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant