fix: convert raw number as Duration milliseconds

src/deserialize.rs

@@ -0,0 +1,30 @@
+use std::time::Duration;
+
+use serde::{de::Error, Deserialize, Deserializer};
+
+pub(crate) fn into_duration_ms<'de, D>(deserializer: D) -> std::result::Result<Duration, D::Error>
+where
+    D: Deserializer<'de>,
+{
+    let value = serde_json::Number::deserialize(deserializer)?;
+    match value.as_u64() {
+        Some(i) => Ok(Duration::from_millis(i)),
+        None => Err(Error::custom("cannot convert value to u64")),
+    }
+}
+
+#[cfg(test)]
+mod tests {
+    use serde_json::json;
+
+    use super::*;
+
+    #[test]
+    fn into_duration_ms_ok() {
+        let input = json!(123);
+
+        let got = into_duration_ms(input).expect("value should be deserialized");
+
+        assert_eq!(got, Duration::from_millis(123));
+    }
+}

src/main.rs

@@ -1,6 +1,7 @@
 #![deny(clippy::all, clippy::pedantic, unsafe_code)]
 
 mod backend;
+mod deserialize;
 mod error;
 mod nu;
 use backend::Backend;

src/nu.rs

@@ -178,6 +178,7 @@ pub(crate) struct IdeSettings {
     pub hints: IdeSettingsHints,
     pub include_dirs: Vec<PathBuf>,
     pub max_number_of_problems: u32,
+    #[serde(deserialize_with = "crate::deserialize::into_duration_ms")]
     pub max_nushell_invocation_time: Duration,
     pub nushell_executable_path: PathBuf,
 }