-
Notifications
You must be signed in to change notification settings - Fork 3k
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
Add missing include for PinNames.h #15002
Add missing include for PinNames.h #15002
Conversation
@ladislas, thank you for your changes. |
As described in ARMmbed/mbed-os#15002 there is a missing include for PinNames.h in InterfaceDigitalIn.h The mbed version and url has been updated to pull a fix from a fork branch. This should be reverted when ARMmbed/mbed-os#15002 is merged.
As described in ARMmbed/mbed-os#15002 there is a missing include for PinNames.h in InterfaceDigitalIn.h The mbed version and url has been updated to pull a fix from a fork branch. This should be reverted when ARMmbed/mbed-os#15002 is merged.
CI started |
@0xc0170 could this be released as a hotfix as 6.13.1? |
Jenkins CI Test : ❌ FAILEDBuild Number: 1 | 🔒 Jenkins CI Job | 🌐 Logs & ArtifactsCLICK for Detailed Summary
|
There's code freeze for upcoming release today (monthly cadence), it will be 6.14 as there were some feature PRs merged. |
Test failure is not related, I can see it failed similarly in other PRs, we will check. |
CI restarted |
Jenkins CI Test : ✔️ SUCCESSBuild Number: 2 | 🔒 Jenkins CI Job | 🌐 Logs & ArtifactsCLICK for Detailed Summary
|
Summary of changes
Add missing include for
PinNames.h
.Impact of changes
Fixes compilation issues when using
interface::DigitalIn
Migration actions required
n/a
Documentation
n/a
Pull request type
Test results
Reviewers
@0xc0170 @AGlass0fMilk