Build cedar-spec

replace trivial `rcases` with `have` #470

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build and Test Lean (stable)	3m 33s
Build and Test Dafny (stable)	7m 40s
Build and Test DRT (stable)	14m 50s
	26m 3s