Merge pull request #115 from nakengelhardt/rename_test
authorMiodrag Milanović <mmicko@gmail.com>
Fri, 11 Sep 2020 14:28:32 +0000 (16:28 +0200)
committerGitHub <noreply@github.com>
Fri, 11 Sep 2020 14:28:32 +0000 (16:28 +0200)
rename make test to make ci


Trivial merge