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

Run compiletest on linux-dev #313

Merged
merged 1 commit into from Apr 10, 2016
Merged

Conversation

@aneeshusa
Copy link
Member

aneeshusa commented Apr 10, 2016

The compiletest test is quick to run and shouldn't increase
build times very much.

Fixes #216.

cc @jdm


This change is Reviewable

The compiletest test is quick to run and shouldn't increase
build times very much.
@Manishearth
Copy link
Member

Manishearth commented Apr 10, 2016

@bors-servo r+

thanks!

@bors-servo
Copy link
Contributor

bors-servo commented Apr 10, 2016

📌 Commit 85e038b has been approved by Manishearth

@bors-servo
Copy link
Contributor

bors-servo commented Apr 10, 2016

Testing commit 85e038b with merge 2dbe34a...

bors-servo added a commit that referenced this pull request Apr 10, 2016
Run compiletest on linux-dev

The compiletest test is quick to run and shouldn't increase
build times very much.

Fixes #216.

cc @jdm

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="35" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/saltfs/313)
<!-- Reviewable:end -->
@aneeshusa
Copy link
Member Author

aneeshusa commented Apr 10, 2016

Also, I'm very glad I added testing of the Buildbot master config syntax - I managed to make a typo even adding just this one line :)

@bors-servo
Copy link
Contributor

bors-servo commented Apr 10, 2016

☀️ Test successful - travis

@bors-servo bors-servo merged commit 85e038b into servo:master Apr 10, 2016
2 checks passed
2 checks passed
continuous-integration/travis-ci/pr The Travis CI build passed
Details
homu Test successful
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

3 participants
You can’t perform that action at this time.