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.

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

ci: use GitHub workflow for CI #47

Merged
merged 2 commits into from
Aug 12, 2020
Merged

Conversation

lance
Copy link
Member

@lance lance commented Aug 3, 2020

This commit adds a GitHub workflow to handle CI

This commit adds a GitHub workflow to handle CI
@lance lance added the build/ci Issues related to the build or CI/CD label Aug 3, 2020
@lance lance requested a review from a team August 3, 2020 18:51
@lance lance self-assigned this Aug 3, 2020
drekar
drekar approved these changes Aug 4, 2020
Copy link
Contributor

@lkingland lkingland left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hooray for consistency!
LGTM

@matejvasek
Copy link
Contributor

LGTM

@lance lance merged commit 812198e into master Aug 12, 2020
@lance lance deleted the lance/change-ci-to-github-actions branch August 12, 2020 17:05
@lance lance mentioned this pull request Aug 12, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
build/ci Issues related to the build or CI/CD
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants