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: fix checking CI_GITHUB_API_KEY, refactoring #5496

Merged
merged 5 commits into from
Dec 15, 2018

Conversation

igrr
Copy link
Member

@igrr igrr commented Dec 14, 2018

  • Add new job, build_boards, which checks that boards.txt is up to date. Previously was part of build_package job.

  • Move some of the jobs out of common.sh into separate scripts.

  • Fix checking CI_GITHUB_API_KEY. It is always present when Travis evaluates job include/exclude conditions, and only gets removed after the job has started. Always include build_package job, and exit from it with code 0 if CI_GITHUB_API_KEY is not present.

@igrr igrr force-pushed the bugfix/ci_filter_external_prs branch from 8898c9b to 02558c9 Compare December 14, 2018 06:24
CI_GITHUB_API_KEY is always set when evaluating job include/exclude conditions, and it only gets removed when the job starts. Move the check into the script.
@igrr igrr force-pushed the bugfix/ci_filter_external_prs branch 2 times, most recently from 93a0e7c to 31051c9 Compare December 14, 2018 09:59
@igrr igrr force-pushed the bugfix/ci_filter_external_prs branch from 31051c9 to 0dd5f03 Compare December 14, 2018 11:34
@igrr igrr changed the title wip: check some travis vars ci: fix checking CI_GITHUB_API_KEY, refactoring Dec 14, 2018
@igrr igrr requested a review from d-a-v December 14, 2018 15:27
@igrr
Copy link
Member Author

igrr commented Dec 14, 2018

This PR is from a branch in a forked repo, CI passed.

Also checked that CI passes for same branch in the main repo: https://travis-ci.org/esp8266/Arduino/builds/467956336

@d-a-v d-a-v merged commit 79553e5 into esp8266:master Dec 15, 2018
@igrr igrr deleted the bugfix/ci_filter_external_prs branch December 15, 2018 04:36
This was referenced Dec 15, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants