Skip to content

Add GitHub workflow#118

Merged
ondrajz merged 8 commits intomasterfrom ciMay 24, 2022

Commits

Commits on May 23, 2022