Closed matsud224 closed 3 years ago
@matsud224 thank you very much!!! Can you please update the unit tests with dune test
and then dune promote
?
I ran dune test
and dune promote
then committed. But CI test still fails...
@matsud224, I'm sorry that the test cases were locale-dependent. I just fixed them with https://github.com/na4zagin3/satyrographos/pull/163. Do you mind to rebase onto the current master and run dune test
and dune promote
again?
Okay, now unit tests pass. Thank you!!
This PR fixes #86 like below message: