summaryrefslogtreecommitdiff
path: root/tools/ci_new_boards_check.py
AgeCommit message (Expand)Author
2020-07-06Add license to some obvious files.Diego Elio Pettenò
2019-09-30Fail when boards are missing tooScott Shawcroft
2019-08-27Swap the CI to GitHub Actions from TravisScott Shawcroft