fix CI bug by updating toolchain

Author: DiuDiu777

.github/workflows/rapx.yml

@@ -8,7 +8,7 @@ on:
     branches: [main,rapx-verify-std]
 
 env:
-  RAPx_VERSION: "2f8cefc8a4bbd7c347e02e97c61de1d8224776ba"
+  RAPx_VERSION: "05c016bcb13889119c94890821c2203d175b9a85"
   SAFETY_TOOL_VERSION: "6b77419da66865bb5a36b6c9baec71b3e833d3c9"
 
 jobs:
@@ -21,15 +21,18 @@ jobs:
 
       - name: Clone and setup safety_tool
         run: |
-          git clone https://github.com/Artisan-Lab/tag-std.git
+          git clone https://github.com/safer-rust/tag-std.git
           cd tag-std
           git checkout $SAFETY_TOOL_VERSION
           cargo install cargo-expand
           cd safety-tool
           TOOL_DIR=$(pwd)
           echo "TOOL_DIR=$TOOL_DIR" >> $GITHUB_ENV
           rm -f rust-toolchain.toml
-          ./gen_rust_toolchain_toml.rs std
+          echo '[toolchain]' > rust-toolchain.toml
+          echo 'channel = "nightly-2025-10-09"' >> rust-toolchain.toml
+          echo 'components = ["rust-src", "rustc-dev", "llvm-tools-preview"]' >> rust-toolchain.toml
+          # ./gen_rust_toolchain_toml.rs std
 
       - name: Install safety_tool
         run: |
@@ -51,8 +54,12 @@ jobs:
 
       - name: Set up RAPx environment
         run: |
+            cd RAPx
             RUSTUP_TOOLCHAIN=$(rustup show active-toolchain | cut -d ' ' -f 1)
             echo "RUSTUP_TOOLCHAIN=$RUSTUP_TOOLCHAIN" >> $GITHUB_ENV
+            RAPX_SYSROOT=$(rustc --print sysroot)
+            echo "RAPX_LD_LIBRARY_PATH=$RAPX_SYSROOT/lib" >> $GITHUB_ENV
+            cd ..
             CURRENT_DIR=$(pwd)
             RUST_SRC_PATH="$CURRENT_DIR/library"
             echo "__CARGO_TESTS_ONLY_SRC_ROOT=$RUST_SRC_PATH" >> $GITHUB_ENV
@@ -61,6 +68,6 @@ jobs:
         run: |
           cargo new dummy_crate
           cd dummy_crate
-          export LD_LIBRARY_PATH=$(rustc +$RUSTUP_TOOLCHAIN --print sysroot)/lib
+          export LD_LIBRARY_PATH=$RAPX_LD_LIBRARY_PATH
           export RUSTFLAGS="--cfg=rapx -L $TOOL_DIR/target/safety-tool/lib --extern=safety_macro -Zcrate-attr=feature(register_tool) -Zcrate-attr=register_tool(rapx)"
-          cargo +$RUSTUP_TOOLCHAIN rapx -verify-std -- -Zbuild-std=panic_abort,core,std --target x86_64-unknown-linux-gnu
+          cargo +$RUSTUP_TOOLCHAIN rapx check --verify-std -- -Zbuild-std=panic_abort,core,std --target x86_64-unknown-linux-gnu