Skip to content

public-api: regenerate#1232

Merged
tamird merged 1 commit intomainfrom
create-pull-request/public-api
Mar 24, 2025
Merged

public-api: regenerate#1232
tamird merged 1 commit intomainfrom
create-pull-request/public-api

Conversation

@github-actions
Copy link
Copy Markdown

@github-actions github-actions Bot commented Mar 24, 2025

Automated changes


This change is Reviewable

@netlify
Copy link
Copy Markdown

netlify Bot commented Mar 24, 2025

Deploy Preview for aya-rs-docs ready!

Name Link
🔨 Latest commit 62959d5
🔍 Latest deploy log https://app.netlify.com/sites/aya-rs-docs/deploys/67e0e0f01fdcb30008c2d5e7
😎 Deploy Preview https://deploy-preview-1232--aya-rs-docs.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify site configuration.

@mergify
Copy link
Copy Markdown

mergify Bot commented Mar 24, 2025

Hey @alessandrod, this pull request changes the Aya Public API and requires your review.

@mergify mergify Bot added the api/needs-review Makes an API change that needs review label Mar 24, 2025
@mergify mergify Bot requested a review from alessandrod March 24, 2025 04:35
@mergify mergify Bot added the test A PR that improves test cases or CI label Mar 24, 2025
@tamird
Copy link
Copy Markdown
Member

tamird commented Mar 24, 2025

Looks like rust-lang/rust#138018.

@tamird tamird merged commit e96431f into main Mar 24, 2025
5 checks passed
@tamird tamird deleted the create-pull-request/public-api branch March 24, 2025 07:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

api/needs-review Makes an API change that needs review test A PR that improves test cases or CI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant