Explicitly set the cargo resolver

ehuss · Amanieu · commit 1cfbca8b38fd · 2023-05-31T20:07:18.000+02:00
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,4 +1,5 @@
 [workspace]
+resolver = "1"
 members = [
   "crates/stdarch-verify",
   "crates/core_arch",
