Skip to content

public-api: regenerate#1181

Merged
tamird merged 1 commit intomainfrom
create-pull-request/public-api
Feb 26, 2025
Merged

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

Conversation

@github-actions
Copy link
Copy Markdown

@github-actions github-actions Bot commented Feb 26, 2025

Automated changes


This change is Reviewable

@netlify
Copy link
Copy Markdown

netlify Bot commented Feb 26, 2025

Deploy Preview for aya-rs-docs ready!

Name Link
🔨 Latest commit 0298f18
🔍 Latest deploy log https://app.netlify.com/sites/aya-rs-docs/deploys/67be99ff1191cb00083cc6e7
😎 Deploy Preview https://deploy-preview-1181--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 Feb 26, 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 Feb 26, 2025
@mergify mergify Bot requested a review from alessandrod February 26, 2025 04:35
@mergify mergify Bot added the test A PR that improves test cases or CI label Feb 26, 2025
@tamird
Copy link
Copy Markdown
Member

tamird commented Feb 26, 2025

Looks like fallout from rust-lang/rust#135726 cc @aDotInTheVoid.

@tamird tamird merged commit ae31796 into main Feb 26, 2025
@tamird tamird deleted the create-pull-request/public-api branch February 26, 2025 15:36
@aDotInTheVoid
Copy link
Copy Markdown

Yep, we've got a issue to make sure this gets changed: rust-lang/rust#137645

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.

2 participants