← Back to repositories

cedar-policy/cedar-spec

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

Lean

Stars

⭐ 172

PRs Reviewed

5

Bot Comments

28

Primary Language

Lean

Merge Rate

100.0%

Avg Time to Merge

31h

Avg Additions

+240

Avg Deletions

-167

Avg Files Changed

11

AI Review Products#

AI code review products active on this repository.