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

Fix tarpaulin on Travis CI #435

Merged
merged 1 commit into from
Feb 5, 2020
Merged

Fix tarpaulin on Travis CI #435

merged 1 commit into from
Feb 5, 2020

Conversation

gkelly
Copy link
Contributor

@gkelly gkelly commented Feb 4, 2020

No description provided.

@CAD97
Copy link
Contributor

CAD97 commented Feb 5, 2020

I always forget whether I'm allowed to do this on this repo:

bors: r+

bors bot added a commit that referenced this pull request Feb 5, 2020
@bors @gkelly
Merge #435
982672a 
435: Fix tarpaulin on Travis CI r=CAD97 a=gkelly



Co-authored-by: Garret Kelly <gdk@google.com>
@bors
Copy link
Contributor

bors bot commented Feb 5, 2020

Build succeeded

@bors bors bot merged commit f4fc3f8 into pest-parser:master Feb 5, 2020
@gkelly gkelly deleted the fix-travis branch February 5, 2020 02:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@gkelly @CAD97