Skip to content

Introduce Tracing into Chalk #362

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

Closed
wants to merge 3 commits into from
Closed

Introduce Tracing into Chalk #362

wants to merge 3 commits into from

Conversation

davidbarsky
Copy link
Contributor

@davidbarsky davidbarsky commented Mar 27, 2020

c.c. #337

This is super WIP and nowhere near ready being merged.

@nikomatsakis
Copy link
Contributor

Closing in favor of #394 -- let's revisit this stuff once that one lands.

@nikomatsakis
Copy link
Contributor

Wait, I put that comment on the wrong PR :)

@jackh726
Copy link
Member

So, @davidbarsky has indicated on Zulip that they're not going to have time for now to get this pushed forward. However, this is actually pretty close. So, I'm gonna actually mark this as a "good first issue" if someone wants to pick this up get this mergeable. (If not, I'll get to it eventually)

@jackh726 jackh726 added the good first issue A good issue to start working on Chalk with label Apr 18, 2020
@nolanderc
Copy link
Contributor

I will attempt to pick this back up.

@davidbarsky
Copy link
Contributor Author

Closed in favor of #409.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
good first issue A good issue to start working on Chalk with
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants