Build cedar-spec

Add the `is` operator to Dafny #381

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build and Test Dafny (stable)	8m 42s
Build and Test DRT (stable)	11m 17s
Build cedar-lean (stable)	5m 18s
	25m 17s