Replace reference to personal repository with LEDGER repository

LedgerProject · Nov 16, 2021 · 8b222b6 · 8b222b6
1 parent 1d163ab
commit 8b222b6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 \