PR #681 fix(README): update URL for build status icon

fix(README): update URL for build status icon #681

ChrisHughes24 merged 2 commits into leanprover-community:master from ChrisHughes24:travis

fix(README): update URL for build status icon

3d3afe1c

Merge branch 'master' into travis

6bb7de29

ChrisHughes24 merged b3e1e6f3 into master 7 years ago

ChrisHughes24 deleted the travis branch 7 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone