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.

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

[WIP] Initial Support for Phase Timing #2068

Closed
wants to merge 1 commit into from
Closed

[WIP] Initial Support for Phase Timing #2068

wants to merge 1 commit into from

Conversation

techdragon
Copy link
Contributor

@techdragon techdragon commented Aug 6, 2019 •
edited by Zac-HD
Loading

  • Added context manager for keeping track of the current phase.

This is useful for #1555.

@techdragon techdragon requested a review from DRMacIver as a code owner August 6, 2019 03:15
@techdragon
Initial Support for Phase Timing
566fb3d 
- Added context manager for keeping track of the current phase.
@Zac-HD Zac-HD changed the title Initial Support for Phase Timing [WIP] Initial Support for Phase Timing Aug 7, 2019
@Zac-HD Zac-HD added the legibility make errors helpful and Hypothesis grokable label Aug 7, 2019
@Zac-HD
Copy link
Member

Zac-HD commented Sep 6, 2019

I'm closing this as inactive, but very happy to reopen if you want to keep working on #1555 😄

@Zac-HD Zac-HD closed this Sep 6, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@DRMacIver DRMacIver Awaiting requested review from DRMacIver DRMacIver is a code owner

Assignees
No one assigned
Labels
legibility make errors helpful and Hypothesis grokable
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@techdragon @Zac-HD