Skip to content

Conversation

jeromecoutant
Copy link
Collaborator

Description

An error has been introduced during #7813

Fixes #8343

Pull request type

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

@cmonr cmonr requested a review from a team October 16, 2018 01:19
@0xc0170
Copy link
Contributor

0xc0170 commented Oct 16, 2018

/morph build

@mbed-ci
Copy link

mbed-ci commented Oct 16, 2018

Build : SUCCESS

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

Triggering tests

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

@mbed-ci
Copy link

mbed-ci commented Oct 16, 2018

@NirSonnenschein
Copy link
Contributor

/morph mbed2-build

@mbed-ci
Copy link

mbed-ci commented Oct 16, 2018

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

Successfully merging this pull request may close these issues.

6 participants