Native Backends Tier 1

Verifier assurance programme (OVK-VA) #87

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
native-backend-tier1 (cedar)	2m 0s
native-backend-tier1 (cbmc)	40s
native-backend-tier1 (z3)	15s
native-backend-tier1 (opa)	20s
native-tier1-summary	19s
	3m 34s