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

Add CircleCI #441

Merged
merged 29 commits into from
Jun 1, 2020
Merged

Add CircleCI #441

merged 29 commits into from
Jun 1, 2020

Conversation

GregTheGreek
Copy link
Member

@GregTheGreek GregTheGreek commented May 22, 2020

Summary of changes
Changes introduced in this pull request:

  • Adds circle ci
  • Uses a circleci machine instead of docker as intended originally.

Reference issue to close (if applicable)

Closes #440

Other information and links

I suggest rolling this out slowly, not making circle builds mandatory yet, let a few prs go through to iron out any potential bugs before migrating.

Copy link
Member

@priom priom left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

some of the jobs could benefit from parallelism in circleCI
https://circleci.com/docs/2.0/parallelism-faster-jobs/

@GregTheGreek
Copy link
Member Author

@priom I agree

One thing I've done is actually use a cache on the cargo builds so that we don't need to re-build everything

@GregTheGreek GregTheGreek force-pushed the greg/ci/add-circle branch 2 times, most recently from 0b88441 to 432b0a8 Compare May 24, 2020 15:06
@ec2 ec2 marked this pull request as ready for review June 1, 2020 15:21
@ec2 ec2 changed the title WIP Greg/ci/add circle Add CircleCI Jun 1, 2020
.circleci/config.yml Show resolved Hide resolved
.circleci/config.yml Outdated Show resolved Hide resolved
Co-authored-by: Austin Abell <austinabell8@gmail.com>
@GregTheGreek GregTheGreek mentioned this pull request Jun 1, 2020
5 tasks
@ec2 ec2 merged commit 6dab233 into master Jun 1, 2020
@ec2 ec2 deleted the greg/ci/add-circle branch June 1, 2020 18:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Investigate/switch CI
5 participants