improve CI workflow #23

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

3 Commits (master)