Attempt manual merge

AztecProtocol · Jul 26, 2023 · dcad073 · dcad073
1 parent 9fd54a8
commit dcad073
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -41,6 +41,12 @@ checkout: &checkout
         exit 1
       }
       cd $HOME
+      mkdir -p .ssh
+      chmod 0700 .ssh
+      retry_10 ssh-keyscan -t rsa github.com >> .ssh/known_hosts
+
+      # A read-write key for updating the repository.
+      echo "$GITHUB_BENCMARK_REPOSITORY_SSH_KEY" | base64 -d > .ssh/id_ed25519
       # IF YOU'RE CHANGING THIS, YOU ALSO WANT TO CHANGE: build-system/remote_build/remote_build
       # Shallow checkout this commit.
       mkdir -p project