Native Backends Tier 1

Final release closure: trust roots, obligation identity, claim discipline #240

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
native-backend-tier1 (cedar)	1m 44s
native-backend-tier1 (opa)	20s
native-backend-tier1 (z3)	20s
native-backend-tier1 (cbmc)	34s
native-tier1-summary	15s
	3m 13s