Merge pull request #1946 from o1-labs/ci-configure-github-before-tagging #4952

Job	Run time
Prepare	1m 16s
Check-mina-commit	12s
Run unit tests parallel (1)	52s
Build-And-Test-Web	5m 12s
Build-And-Test-Server (Simple integration tests)	17m 2s
Run unit tests parallel (2)	19m 14s
Run unit tests parallel (3)	5m 10s
Build-And-Test-Server (Reducer integration tests)	7m 56s
Run unit tests parallel (4)	12m 55s
Build-And-Test-Server (DEX integration tests)	9m 3s
Run unit tests parallel (5)	17m 22s
Build-And-Test-Server (DEX integration test with proofs)	9m 35s
Run unit tests parallel (6)	9m 17s
Build-And-Test-Server (Voting integration tests)	3m 57s
Run unit tests parallel (7)	8m 29s
Build-And-Test-Server (Verification Key Regression Check 1)	7m 31s
Run unit tests parallel (8)	2m 21s
Build-And-Test-Server (Verification Key Regression Check 2)	7m 56s
Build-And-Test-Server (CommonJS test)	1m 33s
Release-mina-signer-on-NPM	37s
Build-And-Test-Server (Unit tests)	1s
Release-on-NPM	40s
	2h 28m 11s

Provide feedback