Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@emersonknapp
Copy link
Contributor

@emersonknapp emersonknapp commented Nov 16, 2023

To catch build errors before they are merged.

But I believe Actions may need to be enabled for the repository, for this to run (or perhaps it won't go without approval since I am an outside contributor). See emersonknapp#1 for an example of it going.

Signed-off-by: Emerson Knapp <[email protected]>
Signed-off-by: Emerson Knapp <[email protected]>
@facontidavide facontidavide merged commit d9439eb into BehaviorTree:humble Nov 17, 2023
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