improve CI workflow #23

Merged
Bogdanp merged 3 commits from master into master 4 years ago

3 Commits (master)