Skip to content
Build cedar-spec

update Cedar submodule, and update generators for RFC 20 (cedar#375) #335

Sign in to view logs

update Cedar submodule, and update generators for RFC 20 (cedar#375)

update Cedar submodule, and update generators for RFC 20 (cedar#375) #335

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build and Test DRT (stable)
20m 46s
Build and Test Dafny (stable)
9m 38s
30m 24s