Skip to content

Rename invariant::Valid to invariant::Safe - #3665

Merged
jswrenn merged 1 commit into
mainfrom
G5fa632801df03c070c991b72a15721a1f2d66490
Sep 11, 2026
Merged

Rename invariant::Valid to invariant::Safe#3665
jswrenn merged 1 commit into
mainfrom
G5fa632801df03c070c991b72a15721a1f2d66490

Rename `invariant::Valid` to `invariant::Safe`

a4ded0d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar