Skip to content

Some CI improvements and bump patch version for new release#25

Merged
staticfloat merged 1 commit intoJuliaIO:masterfrom giordano:mg/bump-versionMay 19, 2020

Commits

Commits on May 18, 2020