Auto merge of #126963 - runtimeverification:smir_serde_derive, r=oli-obk #47184
Annotations
2 warnings
|
library/rtstartup/rsbegin.rs#L83
creating a mutable reference to mutable static is discouraged
|
|
library/rtstartup/rsbegin.rs#L88
creating a mutable reference to mutable static is discouraged
|
This job succeeded
Loading