From 8b222b633f89f4c822998d9308c1400a18d330f6 Mon Sep 17 00:00:00 2001 From: Thierry Marianne Date: Tue, 16 Nov 2021 08:41:47 +0400 Subject: [PATCH] Replace reference to personal repository with LEDGER repository --- .../build-container/archive-rvt-simd_emulation-runtime.sh | 2 +- 1 file changed, 1 insertion(+), 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 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 \