add workflow for checking ble feature selection compilation

[paul-szczepanek-arm]

Summary of changes

This is a new workflow for github to add a new test in CI that checks BLE conditional compilation. Some BLE features can be toggled on or off, this makes sure it the project still compiles with different features toggled.

Impact of changes

Migration actions required

Documentation

none

---

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

---

[paul-szczepanek-arm]

Runs on my fork:
https://github.com/paul-szczepanek-arm/mbed-os/runs/3078802248?check_suite_focus=true
This currently fails because my PR with a fix hasn't been merged:
#14919

[ciarmcom]

@paul-szczepanek-arm, thank you for your changes.
@ARMmbed/mbed-os-maintainers please review.

[pan-]

Maybe we can combine this with #14919 . After all this verifies that the conditional compilation has been fixed.

[pan-]

Maybe we can run it for every PR that touches BLE: https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions#onpushpull_requestpaths .

[pan-]

Thanks so we can run it on BLE PRs.

[0xc0170]

Maybe we can run it for every PR that touches BLE: https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions#onpushpull_requestpaths .

This is still due (I don't see push attribute there)?

[paul-szczepanek-arm]

OK, I changed it to run on each PR instead of weekly. It does run a dozen compiles but then again we're not paying for that :D

[ciarmcom]

This pull request has automatically been marked as stale because it has had no recent activity. @ARMmbed/mbed-os-maintainers, please start CI to get the PR merged.

[0xc0170]

CI started