tool: specify minimum rustc version

Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Aug 14, 2024 · d1ea5bc · d1ea5bc
1 parent a411b73
commit d1ea5bc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tool/microkit/Cargo.toml b/tool/microkit/Cargo.toml
@@ -8,6 +8,7 @@
 name = "microkit-tool"
 version = "1.4.0-dev"
 edition = "2021"
+rust-version = "1.79.0"
 
 [[bin]]
 name = "microkit"