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

tools: update makefile to partition CI #1795

Merged
merged 2 commits into from Apr 30, 2020
Merged

tools: update makefile to partition CI #1795

merged 2 commits into from Apr 30, 2020

Conversation

ppannuto
Copy link
Member

This eases running the failing portions of CI locally

Pull Request Overview

Inspired by moving rules around while working on #1512, this partitions each phase of CI into its own rule. It should effectively be a no-op.

Testing Strategy

This pull request was tested by making my poor laptop very warm by running lots of make ci-X

TODO or Help Wanted

N/A

Documentation Updated

  • Updated the relevant files in /docs, or no updates are required.

Formatting

  • Ran make formatall.

This eases running the failing portions of CI locally
@ppannuto
Copy link
Member Author

Added bonus: Cargo is smart enough to lock build directories when needed, so parallel builds also seem to work. On my laptop, after an already successful run (i.e. everything already built):

$ time make ci-travis
...
real	1m10.186s
user	0m42.431s
sys	0m30.381s
$ time make -j4 ci-travis
real	0m41.973s
user	0m48.517s
sys	0m33.782s

jrvanwhy
jrvanwhy previously approved these changes Apr 24, 2020
Makefile Outdated Show resolved Hide resolved
Also add a comment explaining what these are and why we build this way.
@bradjc
Copy link
Contributor

bradjc commented Apr 30, 2020

bors r+

@hudson-ayers
Copy link
Contributor

bors retry

@bors
Copy link
Contributor

bors bot commented Apr 30, 2020

Build succeeded:

@bors bors bot merged commit 377dda1 into master Apr 30, 2020
@bors bors bot deleted the split-up-ci-rules branch April 30, 2020 23:04
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

7 participants