Skip to content

Conversation

@krlmlr
Copy link
Contributor

@krlmlr krlmlr commented Nov 25, 2024

No description provided.

@aviator-app
Copy link
Contributor

aviator-app bot commented Nov 25, 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 manually (without Aviator). Merging manually can negatively impact the performance of the queue. Consider using Aviator next time.


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 enabled auto-merge (squash) November 25, 2024 18:00
@krlmlr krlmlr marked this pull request as draft November 25, 2024 20:05
auto-merge was automatically disabled November 25, 2024 20:05

Pull request was converted to draft

@krlmlr krlmlr force-pushed the b-rchk branch 3 times, most recently from a650af2 to b55aba7 Compare November 30, 2024 19:12
@krlmlr krlmlr marked this pull request as ready for review November 30, 2024 19:25
@krlmlr krlmlr enabled auto-merge (squash) November 30, 2024 19:25
@krlmlr krlmlr merged commit f5dc296 into main Nov 30, 2024
6 checks passed
@krlmlr krlmlr deleted the b-rchk branch November 30, 2024 20:22
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Dec 1, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants