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.

Sign up for GitHub

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

GreenTea: Fix inconsistency of Greentea KV message #13247

Merged
merged 1 commit into from
Jul 9, 2020
Merged

GreenTea: Fix inconsistency of Greentea KV message #13247

merged 1 commit into from
Jul 9, 2020

Conversation

jamesbeyond
Copy link
Contributor

Summary of changes

GreenTea: Fix inconsistency of Greentea KV message
linked with #13240

Impact of changes

Migration actions required

Documentation

not required

Pull request type 

[x] Patch update (Bug fix / Target update / Docs update / Test update / Refactor)
[] Feature update (New feature / Functionality change / New API)
[] Major update (Breaking change E.g. Return code change / API behaviour change)

Test results 

[] No Tests required for this change (E.g docs only update)
[] Covered by existing mbed-os tests (Greentea or Unittest)
[x] Tests / results supplied as part of this PR

Reviewers

@dustin-crossman

@mergify mergify bot added the needs: CI label Jul 8, 2020
@mbed-ci
Copy link

mbed-ci commented Jul 8, 2020

Test run: SUCCESS

Summary: 6 of 6 test jobs passed
Build number : 1
Build artifacts

@0xc0170 0xc0170 added needs: review release-type: patch Indentifies a PR as containing just a patch and removed ready for merge labels Jul 8, 2020
@0xc0170
Copy link
Contributor

0xc0170 commented Jul 8, 2020

@dustin-crossman Please review, this can be merged.

@0xc0170 0xc0170 mentioned this pull request Jul 8, 2020
Closed
@dustin-crossman
Copy link
Contributor

Looks good to me. And I can confirm that the sleep and sleep_manager tests pass on our targets with these changes.

@0xc0170 0xc0170 merged commit a2b7980 into ARMmbed:master Jul 9, 2020
@mergify mergify bot removed the ready for merge label Jul 9, 2020
@dustin-crossman dustin-crossman mentioned this pull request Jul 14, 2020
Closed
@adbridge adbridge added release-version: 6.2.0 Release-pending and removed release-type: patch Indentifies a PR as containing just a patch Release-pending labels Jul 15, 2020
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
release-version: 6.2.0
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
5 participants
@jamesbeyond @mbed-ci @0xc0170 @dustin-crossman @adbridge