Skip to content

Add an Edges.is_agent_id function#655

Merged
jonathan-laurent merged 2 commits intoKappa-Dev:masterfrom
jonathan-laurent:master
Apr 14, 2023
Merged

Add an Edges.is_agent_id function#655
jonathan-laurent merged 2 commits intoKappa-Dev:masterfrom
jonathan-laurent:master

Conversation

@jonathan-laurent
Copy link
Contributor

Fixes #653.

@jonathan-laurent jonathan-laurent merged commit 767faf9 into Kappa-Dev:master Apr 14, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

How to test the existence of an agent with a given ID?

1 participant