Build cedar-spec

Make the generator to produce special `i64` values easier #325

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build and Test Dafny (stable)	10m 43s
Build and Test DRT (stable)	19m 25s
	30m 8s