data: add os-checker/verify-rust-std_data as submodule

zjp-CN · zjp-CN · commit eefc2ee10a36 · 2025-08-07T15:35:30.000Z
diff --git a/.gitmodules b/.gitmodules
@@ -4,3 +4,6 @@
 [submodule "verify-rust-std"]
 	path = verify-rust-std
 	url = https://github.com/model-checking/verify-rust-std.git
+[submodule "ui/verify-rust-std_data"]
+	path = ui/verify-rust-std_data
+	url = https://github.com/os-checker/verify-rust-std_data.git
diff --git a/ui/verify-rust-std_data b/ui/verify-rust-std_data
@@ -0,0 +1 @@
+Subproject commit 97f06eea7f66b013d10713676dae519ae7b32f5d
