Skip to content

Conversation

@soutaro
Copy link
Owner

@soutaro soutaro commented Jan 6, 2025

No description provided.

@soutaro soutaro added this to the Steep 1.10 milestone Jan 6, 2025
@soutaro soutaro added the area/core Issues related to the type checker core label Jan 6, 2025
@soutaro soutaro force-pushed the missing-type-declaration branch from bc5ad4e to a6ab320 Compare January 6, 2025 05:24
@soutaro soutaro merged commit e3330b8 into master Jan 7, 2025
19 checks passed
@soutaro soutaro deleted the missing-type-declaration branch January 7, 2025 03:49
@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