Skip to content

JS: convert more type-trackers to API-graphs #7912

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Feb 11, 2022
Merged

JS: convert more type-trackers to API-graphs #7912

merged 1 commit into from
Feb 11, 2022

Conversation

erik-krogh
Copy link
Contributor

@erik-krogh erik-krogh commented Feb 9, 2022 •
edited
Loading

I was looking at some of our TypeTrackers and I realized that we had some that could be expressed using API-graphs.

@github-actions github-actions bot added the JS label Feb 9, 2022
@erik-krogh erik-krogh force-pushed the moarApi branch 2 times, most recently from 0474b96 to 739dca2 Compare February 9, 2022 21:39
@erik-krogh erik-krogh marked this pull request as ready for review February 10, 2022 08:58
@erik-krogh erik-krogh requested a review from a team as a code owner February 10, 2022 08:58
@asgerf
Copy link
Contributor

asgerf commented Feb 10, 2022

Cool! LGTM if the evaluation works out.

@erik-krogh
Copy link
Contributor Author

Cool! LGTM if the evaluation works out.

It looks fine.

@erik-krogh erik-krogh merged commit 36e02ae into github:main Feb 11, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@asgerf asgerf asgerf approved these changes

Assignees
No one assigned
Labels
JS
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@erik-krogh @asgerf