Commit Graph

4 Commits

Author SHA1 Message Date
Greg Price 9ce080ebb1 circleci: Remove Circle-created gitconfig file.
[Investigation by hackerkid.]
2017-12-18 21:42:00 -08:00
Greg Price ea589e8283 circle: Bump base image version.
This new base image just comes from me doing a fresh `docker build`
and uploading the result.  That gives it fresher versions of our
APT dependencies than the image I built a couple of months ago,
speeding up provision by giving it less to install.
2017-12-01 17:16:51 -08:00
Greg Price 58db3c13cb circle: Bump cache version.
This will store a fresh version of the cached trees to the
new ...-base2 keys, and then the *next* build will use those
instead of the ...-base1 keys.
2017-12-01 16:11:25 -08:00
Greg Price b9990941d6 circle: Draft a config for running our builds in CircleCI.
From just my experience attempting this change, I've been impressed
with the very fast turnaround in CircleCI for a change -- from `git
push` to the build starting is usually just a couple of seconds.

It also looks like we get much clearer control over the caching
system, and the setup of the environment via a Docker image of our
choice, which can help avoid most of the several minutes Travis takes
to set up our environment before it actually starts running the tests
themselves.

Plus it supports fine-grained parallelism, e.g. by test file:
https://circleci.com/docs/2.0/parallelism-faster-jobs/

So we can probably get much faster builds by making this switch.
Because the environment is much more transparent and even under
our control, I'm also hopeful for more reliable builds.
2017-12-01 15:19:57 -08:00