Skip to content
This repository has been archived by the owner on Mar 10, 2021. It is now read-only.

use travis in github actions #7

Merged
merged 3 commits into from Mar 21, 2019
Merged

use travis in github actions #7

merged 3 commits into from Mar 21, 2019

Conversation

guilhem
Copy link
Member

@guilhem guilhem commented Mar 21, 2019

No description provided.

@guilhem guilhem merged commit 606d924 into master Mar 21, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant