Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Main #104

Merged
merged 2 commits into from
Oct 2, 2023
Merged

Main #104

merged 2 commits into from
Oct 2, 2023

Conversation

Juanito87
Copy link
Collaborator

No description provided.

Fetches a list of trees from an RPC endpoint.
@Juanito87 Juanito87 self-assigned this Oct 2, 2023
@Juanito87 Juanito87 merged commit 75af1ce into update-workflow Oct 2, 2023
Juanito87 added a commit that referenced this pull request Oct 3, 2023
* Updating test workflow

* Adding some annotations

* Fixing path issue.

* Fixing fetch_trees name

* Adding push condition

* Main (#104)

* Fix raw name build (#122)

* Added fetch trees tool (#123)

Fetches a list of trees from an RPC endpoint.

---------

Co-authored-by: Linus Kendall <[email protected]>

---------

Co-authored-by: Linus Kendall <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants