Skip to content

Conversation

@soutaro
Copy link
Owner

@soutaro soutaro commented Jan 7, 2025

No description provided.

@soutaro soutaro added this to the Steep 1.10 milestone Jan 7, 2025
@soutaro soutaro added the area/core Issues related to the type checker core label Jan 7, 2025
@soutaro soutaro enabled auto-merge January 7, 2025 05:51
@soutaro soutaro merged commit 7ba1260 into master Jan 7, 2025
19 checks passed
@soutaro soutaro deleted the when-assertion branch January 7, 2025 05:56
@soutaro soutaro added the Released The PR is already included in a published release label Mar 11, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/core Issues related to the type checker core Released The PR is already included in a published release

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants