Pin Rust toolchain to 1.88

pfmooney · pfmooney · commit 28f3ddf680bf · 2025-08-09T16:02:46.000-05:00
diff --git a/rust-toolchain.toml b/rust-toolchain.toml
@@ -0,0 +1,6 @@
+[toolchain]
+# We choose a specific toolchain (rather than "stable") for repeatability.  The
+# intent is to keep this up-to-date with recently-released stable Rust.
+
+channel = "1.88.0"
+profile = "default"
