Include benchmark results in workflow summary #297

Job	Run time
No-op rebuilds	58s
Generate documentation	17s
Benchmark	4m 29s
Check generated C header	36s
Lint with clippy	1m 2s
Check code formatting	14s
Test and coverage	2m 4s
Build [ubuntu-latest, 1.63.0, dev, ]	1m 16s
Build [ubuntu-latest, 1.63.0, release, ]	1m 9s
Build [ubuntu-latest, stable, dev, ]	24s
Build [ubuntu-latest, stable, release, ]	17s
Build [macos-latest, 1.63.0, dev, ]	1m 32s
Build [macos-latest, 1.63.0, release, ]	1m 38s
Build [macos-latest, stable, dev, ]	45s
Build [macos-latest, stable, release, ]	1m 2s
Build [ubuntu-latest, stable, dev, --no-default-features]	11s
Test with address sanitizer	3m 58s
Test with leak sanitizer	2m 35s
Test with release build	2m 22s
	26m 49s

Provide feedback