Skip to content

Conversation

jcharum
Copy link
Contributor

@jcharum jcharum commented Jul 22, 2020

No description provided.

@jcharum jcharum marked this pull request as draft July 22, 2020 16:44
@jcharum
Copy link
Contributor Author

jcharum commented Jul 22, 2020

I marked this as a draft, as I'd like to merge #51 before considering this PR. #51 will make the invocations simpler.

@jcharum jcharum requested a review from josh-newman July 23, 2020 22:31
@jcharum jcharum marked this pull request as ready for review July 23, 2020 22:31
@jcharum jcharum merged commit c5e3b9c into master Aug 11, 2020
@jcharum jcharum deleted the ci branch August 11, 2020 17:21
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.

2 participants