Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Merged
merged 7 commits into from
Feb 19, 2018

Commits on Feb 18, 2018

  1. tools/boards.txt.py: remove tabs

    igrr committed Feb 18, 2018
    Configuration menu
    Copy the full SHA
    64d144e View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    5444c5b View commit details
    Browse the repository at this point in the history
  3. ci: check that files generated by boards.txt.py are up to date

    Files are re-generated in CI build, and git diff is used to check if
    there have been any changes.
    igrr committed Feb 18, 2018
    Configuration menu
    Copy the full SHA
    cde2eed View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    8352150 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    916b483 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    970aebf View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    ff6a38d View commit details
    Browse the repository at this point in the history