Closed nrontsis closed 4 years ago
@kyr-pol I changed most of the things I suggested in my comments.
I think the most important remaining bits in the ToDo list are:
Merging #45 into master will not change coverage. The diff coverage is
n/a
.
@@ Coverage Diff @@
## master #45 +/- ##
=======================================
Coverage 73.59% 73.59%
=======================================
Files 9 9
Lines 462 462
=======================================
Hits 340 340
Misses 122 122
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 5f65fbb...5f65fbb. Read the comment docs.
Checked the safe pilco examples, and they work fine by 8b0a52c. Was there a reason for naming the folder safe-pilco-extension
and not something like safe_pilco_extension
? I renamed it to make the imports easier.
ToDo list:
safe_pilco_extension
Nice to do: