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

starting DFG work #178

Merged
merged 35 commits into from
Jun 24, 2019
Merged

starting DFG work #178

merged 35 commits into from
Jun 24, 2019

Conversation

dehann
Copy link
Member

@dehann dehann commented Jun 5, 2019

No description provided.

@dehann dehann marked this pull request as ready for review June 12, 2019 17:16
@dehann dehann merged commit 9a0ed4e into master Jun 24, 2019
@codecov-io
Copy link

codecov-io commented Jun 24, 2019

Codecov Report

Merging #178 into master will decrease coverage by 1.17%.
The diff coverage is 7.69%.

Impacted file tree graph

@@            Coverage Diff             @@
##           master     #178      +/-   ##
==========================================
- Coverage   24.94%   23.77%   -1.18%     
==========================================
  Files          30       30              
  Lines        1479     1485       +6     
==========================================
- Hits          369      353      -16     
- Misses       1110     1132      +22
Impacted Files Coverage Δ
src/RoME.jl 100% <ø> (ø) ⬆️
src/RobotUtils.jl 4.27% <7.69%> (-4.72%) ⬇️

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update f9c691b...ce76e48. Read the comment docs.

@dehann
Copy link
Member Author

dehann commented Jun 24, 2019

also addresses #168

@dehann dehann deleted the feature/dfgintegration branch July 27, 2020 00:44
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.

None yet

3 participants