Skip to content

Auto merge of #126963 - runtimeverification:smir_serde_derive, r=oli-obk #47184

Auto merge of #126963 - runtimeverification:smir_serde_derive, r=oli-obk

Auto merge of #126963 - runtimeverification:smir_serde_derive, r=oli-obk #47184

auto - dist-i686-msvc

succeeded Jun 28, 2024 in 1h 12m 4s