Skip to content

Support Cargo features in verify and build - #42

Merged
Marsman1996 merged 2 commits into
asterinas:mainfrom
hiroki-chen:feat/verify-features
Aug 17, 2026
Merged

Support Cargo features in verify and build#42
Marsman1996 merged 2 commits into
asterinas:mainfrom
hiroki-chen:feat/verify-features

Conversation

@hiroki-chen

Copy link
Copy Markdown
Contributor

After some considerations I think there is no need to support full Cargo args for now as the use cases are limited so we might as well add args in an ad hoc way

@hiroki-chen

Copy link
Copy Markdown
Contributor Author

@Marsman1996

@Marsman1996

Copy link
Copy Markdown
Collaborator

@Marsman1996

Maybe request for review next time

@hiroki-chen

Copy link
Copy Markdown
Contributor Author

@Marsman1996

Maybe request for review next time

No permissions to do that 😭

@Marsman1996 Marsman1996 left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

Seems we shall push --features before --target

Comment thread src/verus.rs Outdated

@Marsman1996 Marsman1996 left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

LGTM for the feature feature added

@Marsman1996
Marsman1996 merged commit 9543854 into asterinas:main Aug 17, 2026
1 check passed
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.

2 participants