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

Replace .travis.yml with buildspec.yml for CodeBuild #438

Merged
merged 8 commits into from
Nov 22, 2019

Conversation

robin-aws
Copy link
Member

Cuts the build time down to about 13 mins with an 8 core environment, and avoids the 50 min maximum Travis build time as well.

See robin-aws#1 for what the results look like (using the github-codebuild-logs Lambda application to copy the logs into a comment:
https://serverlessrepo.aws.amazon.com/applications/arn:aws:serverlessrepo:us-east-1:277187709615:applications~github-codebuild-logs)

@robin-aws
Copy link
Member Author

Once this is merged I can switch the CodeBuild project that is currently pointing to my fork to point to this repo, at which point it will replace Travis.

@RustanLeino RustanLeino merged commit cbfe721 into dafny-lang:master Nov 22, 2019
@robin-aws robin-aws deleted the robin-aws/codebuild branch January 11, 2020 17:13
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