Merge pull request #1498 from o1-labs/feat/ci-benchmarking #3528

Job	Run time
Build-And-Test-Server (Simple integration tests)	17m 46s
Build-And-Test-Server (DEX integration tests)	12m 57s
Build-And-Test-Server (DEX integration test with proofs)	13m 1s
Build-And-Test-Web	4m 57s
Build-And-Test-Server (Voting integration tests)	5m 13s
Build-And-Test-Server (Unit tests)	36m 5s
Build-And-Test-Server (Verification Key Regression Check)	10m 59s
Build-And-Test-Server (CommonJS test)	2m 32s
Release-mina-signer-on-NPM	1m 59s
Release-on-NPM	1m 57s
	1h 47m 26s

Provide feedback