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

Making the CI work again #68

Merged
merged 1 commit into from
Dec 14, 2018
Merged

Making the CI work again #68

merged 1 commit into from
Dec 14, 2018

Conversation

HadrienG2
Copy link
Contributor

The CI is broken. I think that's because the clippy and rustfmt components changed name during stabilization.

@HadrienG2
Copy link
Contributor Author

Seems clippy is also broken on nightly due to rust-lang/rust-clippy#3506 . Maybe tomorrow it will be better... 🤷‍♀️

@HadrienG2
Copy link
Contributor Author

Okay, there are no news nightlies coming, but the issue is known and being worked on: rust-lang/rust#56667 .

@GabrielMajeri
Copy link
Collaborator

Nightly Rust breaks relatively often, but since we're doing bare metal development we don't have a lot of choices. Thanks for your help though

@HadrienG2
Copy link
Contributor Author

New error, something about compiler builtins. Trying to reproduce locally...

@HadrienG2
Copy link
Contributor Author

Indeed, no compiler builtin source this week. Weird.

@HadrienG2
Copy link
Contributor Author

This was actually expected fallout from rust-lang/rust#56092 . Builtins must now be downloaded from crates.io. Warning cargo-xbuild authors if they are not already aware of it... rust-osdev/cargo-xbuild#22

@HadrienG2 HadrienG2 changed the title Try to fix the CI (new component names?) Making the CI work again Dec 14, 2018
@HadrienG2
Copy link
Contributor Author

A cargo-xbuild update that should fix this issue has been pushed. Had to flush the Travis cache for it to be picked up. Now waiting for everything to be rebuilt...

@HadrienG2
Copy link
Contributor Author

...and we're back!

@HadrienG2 HadrienG2 merged commit b8ce767 into master Dec 14, 2018
@HadrienG2 HadrienG2 deleted the fix-ci branch December 14, 2018 18:28
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

2 participants