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

experiment with getTypes #2289

Closed
wants to merge 1 commit into from
Closed

experiment with getTypes #2289

wants to merge 1 commit into from

Conversation

orklah
Copy link
Contributor

@orklah orklah commented Feb 13, 2020

No description provided.

@orklah
Copy link
Contributor Author

orklah commented Feb 13, 2020

Well, best I could do is use the same trick as in TypedAbstract and array_filter the getType result to be sure not to return null.

@orklah
Copy link
Contributor Author

orklah commented Feb 13, 2020

This will close #2248

@orklah orklah marked this pull request as ready for review February 14, 2020 18:40
@orklah
Copy link
Contributor Author

orklah commented Feb 20, 2020

This should be good to merge too if you think it's worth it. The CI fail is not related

@orklah
Copy link
Contributor Author

orklah commented Feb 26, 2020

I don't get it, build fails spectacularly but there's almost nothing on this PR. It didn't seem to affect other PR though...

@jaapio
Copy link
Member

jaapio commented Feb 26, 2020

I think we need to update our ci setup. But due to different priorities I didn't get to that yet.

No worries as soon as I have fixed the ci I will notify you.

@jaapio
Copy link
Member

jaapio commented Mar 2, 2020

Please rebase, let's see if we can merge this one :-)

@orklah
Copy link
Contributor Author

orklah commented Mar 2, 2020

I really don't get it. I'm starting to think there's something wrong with this specific PR... Other PR pass without issue...

@orklah
Copy link
Contributor Author

orklah commented Mar 15, 2020

replaced by #2315

@orklah orklah closed this Mar 15, 2020
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.

None yet

2 participants