Add CI workflow for running benchmarks#341

dfremont merged 2 commits intoBerkeleyLearnVerify:mainBerkeleyLearnVerify/Scenic:mainfrom

lola831:benchmark-cilola831/Scenic:benchmark-ciCopy head branch name to clipboard