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

mk: Run tidy after tests in 'make check' #15516

Merged
merged 1 commit into from
Jul 8, 2014
Merged

mk: Run tidy after tests in 'make check' #15516

merged 1 commit into from
Jul 8, 2014

Conversation

brson
Copy link
Contributor

@brson brson commented Jul 8, 2014

Tidy takes like forever to run. How many times have I wished I didn't have to sit through tidy before seeing my tests fail?

Tidy takes like forever to run.
bors added a commit that referenced this pull request Jul 8, 2014
Tidy takes like forever to run. How many times have I wished I didn't have to sit through tidy before seeing my tests fail?
@bors bors closed this Jul 8, 2014
@bors bors merged commit 8121c39 into rust-lang:master Jul 8, 2014
@pnkfelix
Copy link
Member

pnkfelix commented Jul 8, 2014

what? Don't the tests take longer than tidy? I remember asking for us to move tidy to run before the tests so that I didn't have to re-run the tests after placating tidy.

@pnkfelix
Copy link
Member

pnkfelix commented Jul 8, 2014

This ticket: #7085 is what I was thinking of, though its not clear to me when/if it was addressed, since #7085 does not have a PR associated with it and was closed as irrelevant back in February.

(I guess what I am really asking is: should the buildbots be changed to run make tidy first, or shall we just rely on travis to provide the feedback here?)

@alexcrichton
Copy link
Member

Travis runs tidy first, which I believe is more useful than running tidy first on make check for both the bots and locally.

bors added a commit to rust-lang-ci/rust that referenced this pull request Sep 18, 2023
fix: diagnostics for 'while let' loop with label in condition

fix rust-lang#15516
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.

4 participants