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

Re-add gluon* to the crater list #396

Merged
merged 1 commit into from
Jan 28, 2019
Merged

Re-add gluon* to the crater list #396

merged 1 commit into from
Jan 28, 2019

Conversation

Marwes
Copy link
Contributor

@Marwes Marwes commented Jan 28, 2019

I think gluon was blacklisted due the problem in #157
but that has since been fixed in the crate itself so gluon now compiles
(verified by running crater locally).

Found because I started getting the warning from rust-lang/rust#57501 in gluon_vm.

I think gluon was blacklisted due the problem in rust-lang#157
but that has since been fixed in the crate itself so gluon now compiles
(verified by running crater locally).

Found because I started getting the warning from rust-lang/rust#57501 in gluon_vm.
@pietroalbini
Copy link
Member

Thanks!

@bors r+

@bors
Copy link
Collaborator

bors commented Jan 28, 2019

📌 Commit e21a3b4 has been approved by pietroalbini

@bors
Copy link
Collaborator

bors commented Jan 28, 2019

⌛ Testing commit e21a3b4 with merge 5433cd3...

bors added a commit that referenced this pull request Jan 28, 2019
Re-add gluon* to the crater list

I think gluon was blacklisted due the problem in #157
but that has since been fixed in the crate itself so gluon now compiles
(verified by running crater locally).

Found because I started getting the warning from rust-lang/rust#57501 in gluon_vm.
@bors
Copy link
Collaborator

bors commented Jan 28, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: pietroalbini
Pushing 5433cd3 to master...

@bors bors merged commit e21a3b4 into rust-lang:master Jan 28, 2019
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.

3 participants