Skip to content

small improvements to CI config and build#184

Merged
SethTisue merged 3 commits intoscala:mainfrom
SethTisue:ci-tweak
Jul 22, 2022

Commits

Commits on Jul 20, 2022