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

Dialyzer Fixes & Test CI #5

Merged
merged 1 commit into from Mar 1, 2018
Merged

Dialyzer Fixes & Test CI #5

merged 1 commit into from Mar 1, 2018

Conversation

maennchen
Copy link
Contributor

No description provided.

@maennchen maennchen self-assigned this Mar 1, 2018
@coveralls
Copy link

coveralls commented Mar 1, 2018

Coverage Status

Coverage remained the same at 67.052% when pulling baecdc3 on dialyzer into 1fe3408 on master.

@maennchen maennchen merged commit 29d43b1 into master Mar 1, 2018
@maennchen maennchen deleted the dialyzer branch March 1, 2018 08:07
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants