Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

#15343 - Improve stubs #15362

Merged
merged 34 commits into from
May 3, 2021
Merged

#15343 - Improve stubs #15362

merged 34 commits into from
May 3, 2021

Conversation

Jeckerson
Copy link
Member

@Jeckerson Jeckerson commented Apr 2, 2021

Hello!

  • Type: bug fix | new feature | code quality
  • Link to issue:

In raising this pull request, I confirm the following:

  • I have read and understood the Contributing Guidelines
  • I have checked that another pull request for this purpose does not exist
  • I wrote some tests for this PR
  • I have updated the relevant CHANGELOG
  • I have created a PR for the documentation about this change

Small description of change:

Thanks

@Jeckerson Jeckerson requested a review from niden May 2, 2021 17:18
@Jeckerson Jeckerson marked this pull request as ready for review May 2, 2021 17:18
@Jeckerson Jeckerson linked an issue May 2, 2021 that may be closed by this pull request
@Jeckerson Jeckerson added 5.0 The issues we want to solve in the 5.0 release enhancement Enhancement to the framework labels May 2, 2021
@Jeckerson Jeckerson self-assigned this May 2, 2021
@Jeckerson
Copy link
Member Author

Below psalm errorLevel 5 is blocked by zephir-lang/zephir#2239

@niden niden merged commit 874a872 into 5.0.x May 3, 2021
@Jeckerson Jeckerson deleted the #15343-improve-stubs branch May 3, 2021 12:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
5.0 The issues we want to solve in the 5.0 release enhancement Enhancement to the framework
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[BUG]: Improve stubs generation
2 participants