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.

Sign up for GitHub

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

Jump to bottom

Bots should run with optimizations both enabled and disabled #3414

Closed
catamorphism opened this issue Sep 7, 2012 · 4 comments
Closed

Bots should run with optimizations both enabled and disabled #3414

catamorphism opened this issue Sep 7, 2012 · 4 comments

Comments

@catamorphism
Copy link
Contributor

Some bugs (e.g. #6179) only show up if optimizations are disabled. Bots should run the builds with optimizations both on and off.
@graydon
Copy link
Contributor

graydon commented Sep 13, 2012

Agreed.

@pnkfelix
Copy link
Member

Not critical for 0.6; de-milestoning

@catamorphism
Copy link
Contributor Author

Nominating for milestone 4, well-covered.

@graydon
Copy link
Contributor

graydon commented Jun 20, 2013

auto acquired this ability this week

@graydon graydon closed this as completed Jun 20, 2013
flip1995 pushed a commit to flip1995/rust that referenced this issue Sep 28, 2021
@bors
Auto merge of rust-lang#7678 - lengyijun:issue3414, r=giraffate
f99b4ad 
add rust-lang#3414 test

changelog: none
fixes rust-lang#3414

I found rust-lang#3414 was fixed some time. So I add the tests.
RalfJung pushed a commit to RalfJung/rust that referenced this issue Mar 25, 2024
@bors
Auto merge of rust-lang#3414 - RalfJung:rustup, r=RalfJung
cf1eb93 
Rustup

Fixes rust-lang/miri#3404
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@graydon @pnkfelix @catamorphism