Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Add support for flowr's new query API #27

Merged
merged 1 commit into from
Oct 1, 2024

Conversation

LukasPietzschmann
Copy link
Collaborator

No description provided.

@LukasPietzschmann LukasPietzschmann added the enhancement New feature or request label Oct 1, 2024
@LukasPietzschmann LukasPietzschmann self-assigned this Oct 1, 2024
@LukasPietzschmann LukasPietzschmann linked an issue Oct 1, 2024 that may be closed by this pull request
@EagleoutIce EagleoutIce merged commit 6da7730 into main Oct 1, 2024
6 checks passed
@EagleoutIce EagleoutIce deleted the 26-add-support-for-flowrs-new-query-api branch October 1, 2024 11:21
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add support for flowr's new query API
2 participants