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

build: remove unused docs scripts #803

Merged
merged 2 commits into from
Mar 6, 2025
Merged

build: remove unused docs scripts #803

merged 2 commits into from
Mar 6, 2025

Conversation

parthea
Copy link
Collaborator

@parthea parthea commented Mar 4, 2025

@parthea parthea requested review from a team as code owners March 4, 2025 21:40
@product-auto-label product-auto-label bot added the size: l Pull request size is large. label Mar 4, 2025
@product-auto-label product-auto-label bot added size: s Pull request size is small. and removed size: l Pull request size is large. labels Mar 4, 2025
@parthea parthea force-pushed the remove-docs-scripts branch from f5340f2 to 13f14cc Compare March 4, 2025 21:44
@product-auto-label product-auto-label bot added size: l Pull request size is large. and removed size: s Pull request size is small. labels Mar 4, 2025
@parthea parthea merged commit 7f0a3a8 into main Mar 6, 2025
47 checks passed
@parthea parthea deleted the remove-docs-scripts branch March 6, 2025 15:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
size: l Pull request size is large.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants