Skip to content

refactor(review): encode resource measurement invariants in the descriptor type - #1243

Open
ShryukGrandhi wants to merge 2 commits into
modem-dev:mainfrom
ShryukGrandhi:fix/issue-769-encode-review-resource-measurement-invar
Open

refactor(review): encode resource measurement invariants in the descriptor type#1243
ShryukGrandhi wants to merge 2 commits into
modem-dev:mainfrom
ShryukGrandhi:fix/issue-769-encode-review-resource-measurement-invar

test(review): check measurement narrowing through the type predicate

46f95e7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Detect code changes
succeeded Oct 31, 2026 in 5s