Build cedar-spec

Bump branch `release/2.3.x` Cedar commit id #282

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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