Native Backends Tier 2

Native Backends Tier 2 #10

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
native-backend (kani)	41s
native-backend (tla)	13s
native-backend (verus)	14s
native-backend (dafny)	15s
native-backend (lean)	16s
native-backend (alloy)	16s
native-backends-report	15s
	2m 10s