update to vex-sdk 0.23.0

0.23.0 most notably removes uses of `#[no_mangle]` from symbols in `vex-sdk` to avoid conflicts with other versions of the crate.

Symbols were originally `#[no_mangle]` for the purposes of compiling to a C static library, but this never ended up being useful and would be actively harmful to include in `libstd`.

Author: Tropix126

library/Cargo.lock

@@ -404,9 +404,9 @@ dependencies = [
 
 [[package]]
 name = "vex-sdk"
-version = "0.22.0"
+version = "0.23.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "40b1777b4e4a60f9fed09417dafdc4a6a3393a67df1bd02c3b589770d906cff3"
+checksum = "cddff1d9785c5e35e031340c0a24afbeb911a654f99fec062c5ec94281c189ed"
 dependencies = [
  "compiler_builtins",
  "rustc-std-workspace-core",

library/std/Cargo.toml

@@ -86,7 +86,7 @@ r-efi = { version = "4.5.0", features = ['rustc-dep-of-std'] }
 r-efi-alloc = { version = "1.0.0", features = ['rustc-dep-of-std'] }
 
 [target.'cfg(target_os = "vexos")'.dependencies]
-vex-sdk = { version = "0.22.0", features = ['rustc-dep-of-std'] }
+vex-sdk = { version = "0.23.0", features = ['rustc-dep-of-std'] }
 
 [features]
 backtrace = [

library/std/src/sys/pal/vexos/mod.rs

@@ -107,16 +107,16 @@ pub fn abort_internal() -> ! {
         // Force the serial buffer to flush
         while exit_time.elapsed() < FLUSH_TIMEOUT {
             vex_sdk::vexTasksRun();
-            
+
             // If the buffer has been fully flushed, exit the loop
             if vex_sdk::vexSerialWriteFree(stdio::STDIO_CHANNEL) == (stdio::STDOUT_BUF_SIZE as i32)
             {
                 break;
             }
         }
-        
+
         vex_sdk::vexSystemExitRequest();
-        
+
         loop {
             vex_sdk::vexTasksRun();
         }