Build cedar-spec

cedar-spec changes for arithmetic overflow validation #331

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build and Test DRT (stable)	22m 26s
Build and Test Dafny (stable)	10m 9s
	32m 35s