Build cedar-spec

Match against `EvaluationErrorKind` to avoid string matching issues #279

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build and Test DRT (stable)	15m 44s
Build and Test Dafny (stable)	9m 4s
	24m 48s