Closed saheerb closed 2 years ago
Any PRs should go into the development branch instead of the master branch. We need to make the same change to the development branch.
Any PRs should go into the development branch instead of the master branch. We need to make the same change to the development branch.
yea. My bad. Created new PR: https://github.com/ARMmbed/mbed-os-example-blinky/pull/273
This PR migrates TravisCI, and CircleCI scripts to GitHub Actions.