Skip to content

ci fix#990

Merged
jhdxr merged 3 commits into
masterfrom
develop
Dec 22, 2018
Merged

ci fix#990
jhdxr merged 3 commits into
masterfrom
develop

Conversation

@jhdxr

@jhdxr jhdxr commented Dec 22, 2018

Copy link
Copy Markdown
Member

@coveralls

Copy link
Copy Markdown

Coverage Status

Coverage decreased (-0.04%) to 52.475% when pulling 83ae18a on develop into 2507336 on master.

@coveralls

coveralls commented Dec 22, 2018

Copy link
Copy Markdown

Coverage Status

Coverage increased (+0.01%) to 52.526% when pulling 4822b7a on develop into 2507336 on master.

@jhdxr jhdxr merged commit 0140224 into master Dec 22, 2018
@morozov morozov deleted the develop branch November 1, 2019 16:50
@morozov morozov added this to the Release 1.24 milestone Nov 27, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants