Skip to content

Add custom properties#2512

Merged
marcoieni merged 2 commits into
rust-lang:mainfrom
Sandijigs:add-custom-properties
Jul 7, 2026
Merged

Add custom properties#2512
marcoieni merged 2 commits into
rust-lang:mainfrom
Sandijigs:add-custom-properties

fix custom property bool serialization

fdb9d46
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Run zizmor
succeeded Jul 7, 2026 in 9s