Skip to content

Fix SQL CI task #2866

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

Merged
merged 1 commit into from
Jul 17, 2025
Merged

Fix SQL CI task #2866

merged 1 commit into from
Jul 17, 2025

Conversation

GuillaumeGomez
Copy link
Member

As you can see here, the task was not working. And since it can only be tested once a PR is merged...

Hopefully, I fixed all issues with this PR.

@GuillaumeGomez GuillaumeGomez requested a review from a team as a code owner July 17, 2025 08:46
@github-actions github-actions bot added the S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed label Jul 17, 2025
@syphar syphar merged commit dcfaa83 into rust-lang:master Jul 17, 2025
11 checks passed
@github-actions github-actions bot added S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it and removed S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed labels Jul 17, 2025
@GuillaumeGomez GuillaumeGomez deleted the fix-ci branch July 17, 2025 09:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants