← Back to repositories

cedar-policy/cedar-spec

github.com/cedar-policy/cedar-spec ↗

Lean

Stars

⭐ 190

PRs Reviewed

6

Bot Comments

28

Primary Language

Lean

Merge Rate

83.3%

Avg Time to Merge

31h

Avg Additions

+213

Avg Deletions

-154

Avg Files Changed

13

AI Review Products#

AI code review products active on this repository.