Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Move CI to Github actions #139

Closed
bpetetot opened this issue Nov 12, 2019 · 2 comments · Fixed by #140
Closed

Move CI to Github actions #139

bpetetot opened this issue Nov 12, 2019 · 2 comments · Fixed by #140
Labels
assigned

Comments

@bpetetot
Copy link
Collaborator

@frinyvonnick what do you think to migrate CI to github actions ?
In order to try it and having all manage in github.
I can do it, if you are ok
@bpetetot bpetetot added the idea Idea are not already validated to be developed label Nov 12, 2019
@frinyvonnick
Copy link
Owner

It would be awesome!

@bpetetot bpetetot mentioned this issue Nov 13, 2019
Merged
@bpetetot bpetetot added assigned and removed idea Idea are not already validated to be developed labels Nov 13, 2019
@frinyvonnick
Copy link
Owner

I disabled travis, thank you 🙏

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
assigned
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

👷 setup GitHub CI frinyvonnick/gitmoji-changelog
2 participants
@bpetetot @frinyvonnick