Manuel Raimann
f873722763
Add bench-check job (push): smoke-tests benchmarks compile and run. Add bench-compare job (PRs): runs benchmarks on base and head commits, compares with critcmp, and posts a comparison comment on the PR. Add missing examples (benchmark_convergence, parameter_api) to the examples job.