Build cedar-spec

cedar-spec changes for arithmetic overflow validation #329

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build and Test DRT (stable)	12m 5s
Build and Test Dafny (stable)	9m 56s
	22m 1s