Skip to content

fix: prefer cargo check to cargo build to save time and space - #2466

Merged
bolinfest merged 1 commit into
mainfrom
pr2466
Aug 19, 2025
Merged

fix: prefer cargo check to cargo build to save time and space#2466
bolinfest merged 1 commit into
mainfrom
pr2466

Conversation

@bolinfest

@bolinfest bolinfest commented Aug 19, 2025

Copy link
Copy Markdown
Collaborator

The ubuntu-24.04 - x86_64-unknown-linux-gnu build is failing with No space left on device on #2465, so let's get this in first, which should help.

Note that cargo check should be faster and use less disk than cargo build because it does not write out the object files.

@@ -139,15 +139,15 @@ jobs:
# Running `cargo build` from the workspace root builds the workspace using

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
# Running `cargo build` from the workspace root builds the workspace using
# Running `cargo check` from the workspace root builds the workspace using

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The comment is correct as is: it is still the case that "Running cargo build from the workspace root builds the workspace using the union of all features from third-party crates."

@bolinfest
bolinfest merged commit aafa00d into main Aug 19, 2025
15 checks passed
@bolinfest
bolinfest deleted the pr2466 branch August 19, 2025 19:57
@github-actions github-actions Bot locked and limited conversation to collaborators Aug 19, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants