Skip to content

CI: Check if files generated by boards.txt.py are up to date#4379

Merged
igrr merged 7 commits intomasterfrom
feature/build_boards_txt_in_ci
Feb 19, 2018