Build cedar-spec

Refactor validator definitions for easier reuse #472

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build and Test Lean (stable)	3m 48s
Build and Test Dafny (stable)	7m 41s
Build and Test DRT (stable)	14m 40s
	26m 9s