[with-benchmarks] Merge back after 1.0.0 Release#1117

Merged

micbar merged 3 commits intomasterfrom release-1.0.0

Dec 17, 2020

Commits on Dec 16, 2020

prepare 1.0.0 Release
micbar
committed

Commits on Dec 17, 2020