Skip to content

Conversation

@krlmlr
Copy link
Member

@krlmlr krlmlr commented Apr 15, 2024

No description provided.

@krlmlr krlmlr changed the title b spec get info docs: Include dbGetInfo() in the spec Apr 15, 2024
@aviator-app
Copy link
Contributor

aviator-app bot commented Apr 15, 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 Apr 15, 2024
@aviator-app
Copy link
Contributor

aviator-app bot commented Apr 15, 2024

This pull request failed to merge: some CI status(es) failed. Once the issues are resolved, remove the blocked label and re-queue the pull request. Note that the pull request will be automatically re-queued if it has the mergequeue label.

Failed CI(s): pre-commit.ci - pr

@krlmlr krlmlr removed the blocked label Apr 15, 2024
@aviator-app aviator-app bot merged commit 860bc84 into main Apr 15, 2024
@aviator-app aviator-app bot deleted the b-spec-get-info branch April 15, 2024 14:04
@github-actions github-actions bot locked as resolved and limited conversation to collaborators May 4, 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