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)
commit6e5cf18b96470fb4a0d9764c3b85b2100849ee3e
treef5696b2f80fd493389e2b766f67669b04c3f289b
parentdb274bfd5662a85eb7bbcac6e59701cf00444775
parent7e00d939d448a0439a4bddbb64c06d28cb9527a0
Merge pull request #83 from pioardi/improve-ci

Improve CI