Skip to content

Use released Beartype 0.23.0 - #2670

Merged
adamtheturtle merged 1 commit into
mainfrom
beartype-0.23.0
Oct 10, 2026
Merged

adamtheturtle merged 1 commit into
mainfrom
beartype-0.23.0

Conversation

@adamtheturtle

Copy link
Copy Markdown
Member

Beartype 0.23.0 is released.

Replace the development release-candidate pin with Beartype 0.23.0.

Refresh the committed lockfile for Beartype 0.23.0.

Enable package import checking now that the coverage fix from Beartype #706 is released, and remove the obsolete workaround comment.

The local Python 3.14 test suite passed with the existing 100% branch-coverage gate.

Configuration formatting and git diff --check passed.

@adamtheturtle
adamtheturtle merged commit 20445de into main Oct 10, 2026
13 checks passed
@adamtheturtle
adamtheturtle deleted the beartype-0.23.0 branch October 10, 2026 08:38

This branch was successfully deployed

1 active deployment
development — 1311c187 Deployed Oct 10, 2026 by adamtheturtle via pages #1622
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.

1 participant