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

Small cleanups in task_server and old environments #4486

Merged
merged 3 commits into from
Jul 17, 2019

Conversation

maaktweluit
Copy link
Contributor

While doing some reading for the new benchmarks i found these random obsolete lines.

Removed unused imports, variables and public functions

@codecov
Copy link

codecov bot commented Jul 16, 2019

Codecov Report

Merging #4486 into develop will increase coverage by 0.06%.
The diff coverage is 100%.

@@             Coverage Diff             @@
##           develop    #4486      +/-   ##
===========================================
+ Coverage    90.08%   90.15%   +0.06%     
===========================================
  Files          222      222              
  Lines        19510    19503       -7     
===========================================
+ Hits         17576    17583       +7     
+ Misses        1934     1920      -14

@maaktweluit maaktweluit self-assigned this Jul 16, 2019
@maaktweluit maaktweluit merged commit 917ad6c into develop Jul 17, 2019
@maaktweluit maaktweluit deleted the mwu/random-lint branch July 17, 2019 13:01
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants