Skip to content

fix: gradual semantics and priority#12

Merged
Felipe705x merged 1 commit into
masterfrom
fix/more-properties-bugs
Apr 26, 2026
Merged

fix: gradual semantics and priority#12
Felipe705x merged 1 commit into
masterfrom
fix/more-properties-bugs

fix: gradual semantics and priority

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

Annotations

5 warnings
build-and-test
succeeded Apr 26, 2026 in 22s