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

fetch coverage results from eunit runs #180

Merged
merged 19 commits into from
Jan 19, 2018
Merged

fetch coverage results from eunit runs #180

merged 19 commits into from
Jan 19, 2018

Conversation

goncalotomas
Copy link
Owner

No description provided.

@goncalotomas goncalotomas added this to the 0.1.0 milestone Jan 18, 2018
@goncalotomas goncalotomas self-assigned this Jan 18, 2018
@coveralls
Copy link

Coverage Status

Coverage increased (+5.7%) to 5.931% when pulling 641130f on coverage into a2ecd67 on master.

@coveralls
Copy link

Coverage Status

Coverage increased (+5.9%) to 6.12% when pulling 055fb3b on coverage into a2ecd67 on master.

@coveralls
Copy link

coveralls commented Jan 19, 2018

Coverage Status

Coverage increased (+5.9%) to 6.12% when pulling f95d4d7 on coverage into a2ecd67 on master.

@coveralls
Copy link

Coverage Status

Coverage increased (+9.08%) to 9.338% when pulling 6b862da on coverage into a2ecd67 on master.

@coveralls
Copy link

Coverage Status

Coverage increased (+9.4%) to 9.697% when pulling 1a86eb3 on coverage into a2ecd67 on master.

@coveralls
Copy link

Coverage Status

Coverage increased (+11.7%) to 11.951% when pulling a213fbe on coverage into a2ecd67 on master.

@goncalotomas goncalotomas merged commit 2b21f46 into master Jan 19, 2018
@goncalotomas goncalotomas deleted the coverage branch January 19, 2018 12:07
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants