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

Jump to bottom

fix: Update the uses of EdgeType and VertexType #281

Merged

jvdwetering merged 1 commit into master from update_edge_and_vertex_type

Jul 3, 2024

Collaborator

boldar99 commented Jul 3, 2024

Fix related typing errors


          Update the uses of EdgeType and VertexType

922acd9

Fix related typing errors

boldar99 changed the title ~~Update the uses of EdgeType and VertexType~~ fix: Update the uses of EdgeType and VertexType

jvdwetering merged commit 2fcae12 into master

2 checks passed

jvdwetering deleted the update_edge_and_vertex_type branch

July 3, 2024 11:55

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet