Skip to content

Codegen-equivalence gate: prove generated Cedar decides like the spec#1

Closed
pyrex41 wants to merge 1 commit into
mainfrom
cedar-equivalence-gate
Closed

Codegen-equivalence gate: prove generated Cedar decides like the spec#1
pyrex41 wants to merge 1 commit into
mainfrom
cedar-equivalence-gate

Add codegen-equivalence gate: prove generated Cedar decides like the …

0f6d967
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar