Skip to content

Conversation

@krlmlr
Copy link
Member

@krlmlr krlmlr commented Dec 16, 2023

No description provided.

@aviator-app
Copy link
Contributor

aviator-app bot commented Dec 16, 2023

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.

@krlmlr krlmlr requested a review from nbenn December 16, 2023 11:09
@aviator-app aviator-app bot added the blocked label Dec 16, 2023
@aviator-app
Copy link
Contributor

aviator-app bot commented Dec 16, 2023

This pull request failed to merge: some CI status(es) failed. Remove the blocked label to re-queue.

Failed CI(s): matrix

@aviator-app
Copy link
Contributor

aviator-app bot commented Dec 16, 2023

This pull request failed to merge: queue label was manually removed. Remove the blocked label to re-queue.

@krlmlr krlmlr removed the blocked label Dec 16, 2023
@aviator-app aviator-app bot merged commit d8fa552 into main Dec 16, 2023
@aviator-app aviator-app bot deleted the f-adbi branch December 16, 2023 14:16
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Dec 16, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants