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

travis: separate lint build #3778

Merged
merged 14 commits into from
Jul 13, 2019
Merged

travis: separate lint build #3778

merged 14 commits into from
Jul 13, 2019

Conversation

tooomm
Copy link
Member

@tooomm tooomm commented Jul 12, 2019

Short roundup of the initial problem

Old Xenial build was only used to run our tests.
Lint was combined with that same build and reporting back took ~5min.

What will change with this Pull Request?

  • Have separate lint build, reports back in 15s
    I created a separate lint script for that purpose. The --format argument can still be passed to the compile script which will execute the new script then.
  • Move --test to the Bionic build
  • Remove the old (and slower) Xenial build, we only need Bionic

Thanks for your help @ebbit1q!

@ZeldaZach ZeldaZach merged commit a8b34d5 into master Jul 13, 2019
@ZeldaZach ZeldaZach deleted the lint branch July 13, 2019 19:39
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.

None yet

2 participants