Skip to content
Build cedar-spec

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

Sign in to view logs

Lean: Specify authz response includes ids of erroring policies

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build and Test Lean (stable)
3m 49s
Build and Test Dafny (stable)
7m 38s
Build and Test DRT (stable)
14m 33s
26m 0s