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

auto - dist-powerpc64le-linux

succeeded Jul 25, 2024 in 1h 21m 59s