Skip to content

Conversation

shaobo-he-aws
Copy link
Contributor

@shaobo-he-aws shaobo-he-aws commented May 20, 2025

Description of changes

Issue #, if available

Checklist for requesting a review

The change in this PR is (choose one, and delete the other options):

  • A change "invisible" to users (e.g., documentation, changes to "internal" crates like cedar-policy-core, cedar-validator, etc.)

I confirm that this PR (choose one, and delete the other options):

  • Does not update the CHANGELOG because my change does not significantly impact released code.

I confirm that cedar-spec (choose one, and delete the other options):

  • Does not require updates because my change does not impact the Cedar formal model or DRT infrastructure.

I confirm that docs.cedarpolicy.com (choose one, and delete the other options):

  • Does not require updates because my change does not impact the Cedar language specification.

Copy link

Coverage Report

Head Commit: d11e69ba83302279eddbd3a106d5be92bf72d045

Base Commit: b8af060c9d2d7d503b123fd3b8288b14fa635c45

Download the full coverage report.

Coverage of Added or Modified Lines of Rust Code

Required coverage: 80.00%

Actual coverage: 100.00%

Status: PASSED ✅

Details
File Status Covered Coverage Missed Lines

Coverage of All Lines of Rust Code

Required coverage: 80.00%

Actual coverage: 81.88%

Status: PASSED ✅

Details
Package Status Covered Coverage Base Coverage
cedar-policy 🔴 3149/4566 68.97% 68.97%
cedar-policy-cli 🔴 571/972 58.74% 58.74%
cedar-policy-core 🟢 12055/14284 84.40% 84.40%
cedar-policy-formatter 🟢 1034/1166 88.68% 88.68%
cedar-policy-validator 🟢 8868/10343 85.74% 85.74%
cedar-wasm 🔴 0/29 0.00% 0.00%

@john-h-kastner-aws john-h-kastner-aws merged commit fbdc1fc into main May 20, 2025
20 checks passed
@shaobo-he-aws shaobo-he-aws deleted the chore/shaobo/update-criterion branch May 20, 2025 16:39
mishjude pushed a commit to mishjude/cedar that referenced this pull request Jun 17, 2025
cdisselkoen pushed a commit that referenced this pull request Jun 26, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants