Merge pull request #164 from pioardi/benchmark
authorAlessandro Pio Ardizio <alessandroardizio94@gmail.com>
Tue, 16 Feb 2021 07:58:57 +0000 (08:58 +0100)
committerGitHub <noreply@github.com>
Tue, 16 Feb 2021 07:58:57 +0000 (08:58 +0100)
Fix benchmarks run: use synchronous call.


Trivial merge