Include benchmark results in workflow summary #294

Job	Run time
Generate documentation	22s
Benchmark	5m 6s
Check generated C header	40s
Build [ubuntu-latest, 1.63.0, dev, ]	1m 8s
Build [ubuntu-latest, 1.63.0, release, ]	1m 27s
Build [ubuntu-latest, stable, dev, ]	15s
Build [ubuntu-latest, stable, release, ]	34s
Build [macos-latest, 1.63.0, dev, ]	1m 34s
Build [macos-latest, 1.63.0, release, ]	1m 38s
Build [macos-latest, stable, dev, ]	1m 1s
Build [macos-latest, stable, release, ]	55s
Build [ubuntu-latest, stable, dev, --no-default-features]	20s
Lint with clippy	43s
No-op rebuilds	49s
Check code formatting	19s
Test and coverage	1m 45s
Test with release build	2m 1s
Test with address sanitizer	4m 41s
Test with leak sanitizer	2m 40s
	27m 58s

Provide feedback