diff --git a/.github/workflows/build-container/archive-rvt-simd_emulation-runtime.sh b/.github/workflows/build-container/archive-rvt-simd_emulation-runtime.sh
index 5ee262f..851d214 100644
--- a/.github/workflows/build-container/archive-rvt-simd_emulation-runtime.sh
+++ b/.github/workflows/build-container/archive-rvt-simd_emulation-runtime.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 function archive_llvm_bitcodes() {
-  git clone https://github.com/thierrymarianne/contrib-rust-verification-tools -b build-push-docker-images rvt
+  git clone https://github.com/LedgerProject/safepkt_rust-verification-tools -b build-push-docker-images rvt
   cd rvt || exit
 
   tar \