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

Add CircleCI support #45

Merged
merged 1 commit into from Aug 4, 2019
Merged

Add CircleCI support #45

merged 1 commit into from Aug 4, 2019

Conversation

saschagrunert
Copy link
Owner

Relax travis by using the faster CircleCi alternative.

@saschagrunert saschagrunert force-pushed the circleci branch 8 times, most recently from 4fc8463 to ae12b71 Compare August 4, 2019 11:06
@saschagrunert saschagrunert self-assigned this Aug 4, 2019
@saschagrunert saschagrunert force-pushed the circleci branch 2 times, most recently from e0377e5 to 420e173 Compare August 4, 2019 11:12
@codecov
Copy link

codecov bot commented Aug 4, 2019

Codecov Report

❗ No coverage uploaded for pull request base (master@6de457b). Click here to learn what that means.
The diff coverage is n/a.

@@           Coverage Diff            @@
##             master     #45   +/-   ##
========================================
  Coverage          ?   94.7%           
========================================
  Files             ?      10           
  Lines             ?     722           
  Branches          ?       0           
========================================
  Hits              ?     684           
  Misses            ?      38           
  Partials          ?       0

Signed-off-by: Sascha Grunert <mail@saschagrunert.de>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant