Skip to content

Conversation

@maelle
Copy link
Contributor

@maelle maelle commented Sep 19, 2024

last item for #685

@maelle maelle added lifecycle Deprecating old APIs mergequeue labels Sep 19, 2024
@aviator-app
Copy link
Contributor

aviator-app bot commented Sep 19, 2024

Current Aviator status

Aviator will automatically update this comment as the status of the PR changes.
Comment /aviator refresh to force Aviator to re-examine your PR (or learn about other /aviator commands).

This PR was merged using Aviator.


See the real-time status of this PR on the Aviator webapp.
Use the Aviator Chrome Extension to see the status of your PR within GitHub.

@aviator-app aviator-app bot added the blocked label Sep 19, 2024
@aviator-app
Copy link
Contributor

aviator-app bot commented Sep 19, 2024

This pull request failed to merge: some required checks failed. After you have resolved the problem, you should remove the blocked pull request label from this PR and then try to re-queue the PR. Note that the pull request will be automatically re-queued if it has the mergequeue label.

Failed checks: Check ubuntu-20.04 (release), Check ubuntu-20.04 (oldrel-4)

@aviator-app
Copy link
Contributor

aviator-app bot commented Sep 20, 2024

This pull request failed to merge: some required checks failed. After you have resolved the problem, you should remove the blocked pull request label from this PR and then try to re-queue the PR. Note that the pull request will be automatically re-queued if it has the mergequeue label.

Failed checks: Check ubuntu-20.04 (release), Check ubuntu-20.04 (oldrel-4), Check ubuntu-20.04 (oldrel-3)

@maelle maelle removed the blocked label Sep 20, 2024
@aviator-app aviator-app bot merged commit 1c60d46 into main Sep 20, 2024
@aviator-app aviator-app bot deleted the progress branch September 20, 2024 06:58
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Sep 21, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

lifecycle Deprecating old APIs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants