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.

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

Update link in CONTRIBUTING.md #4520

Merged
merged 1 commit into from Jun 23, 2017

Conversation

Projects
None yet
4 participants
@AnotherButler
Contributor

AnotherButler commented Jun 9, 2017

Provide a more precise link to the docs.mbed.com page

Update link in CONTRIBUTING.md
Provide a more precise link to the docs.mbed.com page
@0xc0170

This comment has been minimized.

Member

0xc0170 commented Jun 12, 2017

retest uvisor

@0xc0170 0xc0170 added the needs: CI label Jun 12, 2017

@0xc0170

This comment has been minimized.

Member

0xc0170 commented Jun 13, 2017

retest uvisor

@adbridge

This comment has been minimized.

Contributor

adbridge commented Jun 16, 2017

retest uvisor

@0xc0170 0xc0170 added ready for merge and removed needs: CI labels Jun 20, 2017

@adbridge adbridge merged commit cbfb234 into ARMmbed:master Jun 23, 2017

3 checks passed

Cam-CI uvisor Build & Test Success
Details
continuous-integration/jenkins/pr-head This commit looks good
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details

@sg- sg- removed the ready for merge label Jun 23, 2017

@AnotherButler AnotherButler deleted the AnotherButler:patch-2 branch Jun 23, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment