Kw/exec proofs modular #20

Job	Run time
Check for 'skip-ci' label	4s
lockbud	6m 10s
check-code	20s
check-msrv	4m 56s
target-branch-check	4s
release-tests-windows	1s
op-pool-tests	5m 43s
release-tests-ubuntu	8m 38s
beacon-chain-tests	5m 54s
network-tests	6m 52s
cargo-udeps	6m 49s
slasher-tests	3m 25s
cli-check	9m 19s
basic-simulator-ubuntu	15m 40s
cargo-sort	4m 16s
debug-tests-ubuntu	5m 34s
execution-engine-integration-ubuntu	8m 25s
compile-with-beta-compiler	9m 16s
state-transition-vectors-ubuntu	6m 3s
fallback-simulator-ubuntu	11m 55s
ef-tests-ubuntu	6m 37s
test-suite-success	1s
	2h 6m 2s

Provide feedback