CI

Remove SMT logic for Zero Prover #3322

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
tests (ubuntu-22.04)	9m 58s
tests (ubuntu-22.04)	5m 21s
tests (ubuntu-22.04)	9m 57s
kurtosis-cdk (rollup)	24m 10s
kurtosis-cdk (rollup)	24m 10s
kurtosis-cdk (rollup)	24m 10s
tests (macos-14-xlarge)	10m 1s
tests (macos-14-xlarge)	5m 4s
tests (macos-14-xlarge)	4m 46s
kurtosis-cdk-post-london	16m 5s
kurtosis-cdk-post-london	16m 5s
kurtosis-cdk-post-london	16m 5s
kurtosis-cdk (cdk-validium)	25m 11s
kurtosis-cdk (cdk-validium)	25m 11s
kurtosis-cdk (cdk-validium)	25m 11s
	4h 1m 25s