mathlib3
fix(mergify): require travis "push" check to pass
#913
Merged
Overview
Commits
1
Changes
View On GitHub

fix(mergify): require travis "push" check to pass #913

cipher1024 merged 1 commit into master from ChrisHughes24-patch-4
ChrisHughes24
ChrisHughes24 fix(mergify): require travis "push" check to push
583b6746
ChrisHughes24 ChrisHughes24 requested a review 6 years ago
ChrisHughes24 ChrisHughes24 assigned cipher1024 cipher1024 6 years ago
ChrisHughes24 ChrisHughes24 changed the title fix(mergify): require travis "push" check to push fix(mergify): require travis "push" check to pass 6 years ago
cipher1024
cipher1024 cipher1024 merged c2d79f85 into master 6 years ago
cipher1024 cipher1024 deleted the ChrisHughes24-patch-4 branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum