Closed cbizon closed 1 year ago
Merging #66 (3643347) into main (86ef17c) will not change coverage. The diff coverage is
100.00%
.:exclamation: Current head 3643347 differs from pull request most recent head 8948339. Consider uploading reports for the commit 8948339 to get more accurate results
@@ Coverage Diff @@
## main #66 +/- ##
=========================================
Coverage 100.00% 100.00%
=========================================
Files 5 5
Lines 462 465 +3
=========================================
+ Hits 462 465 +3
Impacted Files | Coverage Δ | |
---|---|---|
reasoner_transpiler/matching.py | 100.00% <100.00%> (ø) |
Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.
Fixes #61