Skip to content

Auto merge of #126963 - runtimeverification:smir_serde_derive, r=celi… #48378

Auto merge of #126963 - runtimeverification:smir_serde_derive, r=celi…

Auto merge of #126963 - runtimeverification:smir_serde_derive, r=celi… #48378

Annotations

10 warnings

This job succeeded