Skip to content

[FIX] add typeshed to release build script #458

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
Merged
merged 1 commit into from
Oct 31, 2025
Merged

[FIX] add typeshed to release build script #458

merged 1 commit into from
Oct 31, 2025

Conversation

@fda-odoo
Copy link
Collaborator

Zed plugin is downloading typeshed from the release package as a zip, so the script is now adding it to the release

@fda-odoo
[FIX] add typeshed to release build script
4d823c6 
Zed plugin is downloading typeshed from the release package as a zip, so the script is now adding it to the release
@fda-odoo fda-odoo added this to the 1.1.0 milestone Oct 28, 2025
@fda-odoo fda-odoo requested a review from mmahrouss October 28, 2025 12:08
@fda-odoo fda-odoo self-assigned this Oct 28, 2025
@fda-odoo fda-odoo added bug Something isn't working packaging Related to packaging labels Oct 28, 2025
@fda-odoo fda-odoo mentioned this pull request Oct 28, 2025
Open
@fda-odoo fda-odoo changed the base branch from alpha to release October 31, 2025 13:05
@fda-odoo fda-odoo modified the milestones: 1.1.0, 1.0.4 Oct 31, 2025
@fda-odoo fda-odoo merged commit 44598db into release Oct 31, 2025
2 checks passed
@fda-odoo fda-odoo deleted the alpha-build-typeshed-fda branch October 31, 2025 13:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@mmahrouss mmahrouss mmahrouss approved these changes

Assignees

@fda-odoo fda-odoo

Labels

bug Something isn't working packaging Related to packaging

Projects

None yet

Milestone

1.0.4

Development

Successfully merging this pull request may close these issues.

3 participants

@fda-odoo @mmahrouss