Merge pull request #2184 from adafruit/tannewt-patch-1

Fail when boards are missing too
This commit is contained in:
Scott Shawcroft 2019-09-30 13:40:35 -07:00 committed by GitHub
commit 25cefc16a5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -42,6 +42,7 @@ ci_boards.sort()
missing_boards = set(info_boards) - set(ci_boards)
if missing_boards:
ok = False
print('Boards missing in {}:'.format(workflow_file))
for board in missing_boards:
print(board)