Skip to content

Replace deprecated serde_yaml with serde-saphyr in compiletest - #5012

Open
jadhavgaurav wants to merge 1 commit into
model-checking:mainfrom
jadhavgaurav:replace-serde-yaml-5000
Open

jadhavgaurav wants to merge 1 commit into
model-checking:mainfrom
jadhavgaurav:replace-serde-yaml-5000

Replace deprecated serde_yaml with serde-saphyr in compiletest

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

Annotations

1 warning and 1 notice
Auto Label
succeeded Oct 16, 2026 in 8s