Skip to content
This repository has been archived by the owner on May 7, 2023. It is now read-only.

Move CI to github actions #25

Closed
goanpeca opened this issue Feb 23, 2020 · 0 comments · Fixed by #28
Closed

Move CI to github actions #25

goanpeca opened this issue Feb 23, 2020 · 0 comments · Fixed by #28
Assignees
Labels

Comments

@goanpeca
Copy link
Member

No description provided.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants