Skip to content

Exclude development script from cargo packaging#397

Merged
mrobinson merged 1 commit intoservo:v1from
GiGainfosystems:exclude_scripts
Feb 3, 2026
Merged

Exclude development script from cargo packaging#397
mrobinson merged 1 commit intoservo:v1from
GiGainfosystems:exclude_scripts

Conversation

@weiznich
Copy link
Contributor

During a dependency review we noticed that the smallvec crate includes a development script. This development script shouldn't be there as they might, at some point become problematic. As of now they prevent any downstream user from enabling the [bans.build.interpreted] option of cargo deny.

I opted for using an explicit include list instead of an exclude list to prevent these files from beeing included in the published packages to make sure that everything that's included is an conscious choice.

During a dependency review we noticed that the smallvec crate includes a development script. This development script shouldn't be there as they might, at some point become problematic. As of now they prevent any downstream user from enabling the `[bans.build.interpreted]` option of cargo deny.

I opted for using an explicit include list instead of an exclude list to prevent these files from beeing included in the published packages to make sure that everything that's included is an conscious choice.
Copy link
Contributor

@nicoburns nicoburns left a comment

Choose a reason for hiding this comment

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

I'll give others a chance to review before merging, but LGTM.

We'll probably also want to do this for the v2 branch.

Copy link
Member

@mrobinson mrobinson left a comment

Choose a reason for hiding this comment

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

Makes sense to me.

@weiznich
Copy link
Contributor Author

weiznich commented Feb 3, 2026

@mrobinson @nicoburns Is there anything needed from my side to get this PR merged?

@mrobinson mrobinson changed the title Exclude development script Exclude development script from cargo packaging Feb 3, 2026
@mrobinson mrobinson merged commit f59fb36 into servo:v1 Feb 3, 2026
4 of 7 checks passed
@mrobinson
Copy link
Member

@weiznich Do you mind also making this pull request against the v2 branch?

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