add check for mina submodule #4793

Job	Run time
Prepare	59s
Build-And-Test-Web	4m 23s
Run unit tests parallel (1)	49s
Check-mina-commit	46s
Run unit tests parallel (2)	4m 23s
Build-And-Test-Server (Simple integration tests)	4m 20s
Run unit tests parallel (3)	4m 22s
Build-And-Test-Server (Reducer integration tests)	4m 21s
Run unit tests parallel (4)	4m 20s
Build-And-Test-Server (DEX integration tests)	4m 21s
Build-And-Test-Server (DEX integration test with proofs)	4m 23s
Run unit tests parallel (5)	4m 22s
Build-And-Test-Server (Voting integration tests)	3m 53s
Run unit tests parallel (6)	4m 21s
Build-And-Test-Server (Verification Key Regression Check 1)	4m 21s
Run unit tests parallel (7)	4m 22s
Build-And-Test-Server (Verification Key Regression Check 2)	4m 22s
Run unit tests parallel (8)	2m 13s
Build-And-Test-Server (CommonJS test)	1m 33s
Build-And-Test-Server (Unit tests)	1s
Release-mina-signer-on-NPM	1s
Release-on-NPM	1s
	1h 6m 57s

Provide feedback