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.

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

Rollup PR: Bring small fixes into 5.10.4 #8694

Merged
merged 8 commits into from Nov 9, 2018
Merged

Rollup PR: Bring small fixes into 5.10.4 #8694

merged 8 commits into from Nov 9, 2018

Conversation

cmonr
Copy link
Contributor

@cmonr cmonr commented Nov 9, 2018

Description

This Rollup PR contains the following bundled PRs:

Pull request type

[x] Fix
[ ] Refactor
[ ] Target update
[ ] Functionality change
[ ] Docs update
[ ] Test update
[ ] Breaking change

Mo Chen and others added 8 commits October 30, 2018 17:15
@cmonr
Copy link
Contributor Author

cmonr commented Nov 9, 2018

/morph build

@cmonr cmonr added the needs: CI label Nov 9, 2018
This was referenced Nov 9, 2018
Merged
Merged
Merged
Merged
@cmonr cmonr requested a review from a team November 9, 2018 18:08
@mbed-ci
Copy link

mbed-ci commented Nov 9, 2018

Build : SUCCESS

Build number : 3592
Build artifacts/logs : http://mbed-os.s3-website-eu-west-1.amazonaws.com/?prefix=builds/8694/

Triggering tests

/morph test
/morph export-build
/morph mbed2-build

@mbed-ci
Copy link

mbed-ci commented Nov 9, 2018

Exporter Build : SUCCESS

Build number : 3200
Build artifacts/logs : http://mbed-os.s3-website-eu-west-1.amazonaws.com/?prefix=builds/exporter/8694/

@cmonr cmonr changed the title Rollup PR: Rollup PR: Bring small fixes into 5.10.4 Nov 9, 2018
@mbed-ci
Copy link

mbed-ci commented Nov 9, 2018

Test : SUCCESS

Build number : 3368
Test logs :http://mbed-os-logs.s3-website-us-west-1.amazonaws.com/?prefix=logs/8694/3368

@cmonr cmonr merged commit 0404701 into ARMmbed:master Nov 9, 2018
@cmonr cmonr removed the needs: CI label Nov 9, 2018
@0xc0170 0xc0170 mentioned this pull request Nov 12, 2018
Closed
@cmonr cmonr deleted the rollup branch November 13, 2018 23:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@0xc0170 0xc0170 0xc0170 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
5 participants
@cmonr @mbed-ci @0xc0170 @jeromecoutant @adamheinrich