Fail when boards are missing too

This commit is contained in:
Scott Shawcroft 2019-09-30 12:09:29 -07:00 committed by GitHub
parent 33af5a913e
commit 060e81ded0
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)