Skip to content

Conversation

@n-rodriguez
Copy link
Contributor

Fix #371

@n-rodriguez n-rodriguez changed the title Wip/GitHub actions Migrate from Travis to Github Actions Jan 9, 2021
@n-rodriguez
Copy link
Contributor Author

ping @seuros

@seuros seuros merged commit 22bbbf1 into ClosureTree:master Jan 9, 2021
@seuros
Copy link
Member

seuros commented Jan 9, 2021

Excellent work Nicolas

@n-rodriguez
Copy link
Contributor Author

Thank you!

@n-rodriguez n-rodriguez deleted the wip/github_actions branch January 10, 2021 18:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants