Merge pull request #83 from pioardi/improve-ci
authorAlessandro Pio Ardizio <alessandroardizio94@gmail.com>
Mon, 8 Feb 2021 18:54:29 +0000 (19:54 +0100)
committerGitHub <noreply@github.com>
Mon, 8 Feb 2021 18:54:29 +0000 (19:54 +0100)
Improve CI


Trivial merge