Build cedar-spec

Lean: Specify authz response includes ids of erroring policies #479

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build and Test Lean (stable)	3m 47s
Build and Test DRT (stable)	11m 57s
Build and Test Dafny (stable)	7m 46s
	23m 30s