Auto merge of #126963 - runtimeverification:smir_serde_derive, r=celi… #48378
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