$ echo "$SSH_PRIVATE_KEY" | tr -d '\r' | ssh-add -Identity added: (stdin) ((stdin))$ mkdir -p ~/.ssh$ chmod 700 ~/.ssh$ ssh -A ubuntu@hifis-tp.desy.dePseudo-terminal will not be allocated because stdin is not a terminal.Host key verification failed.Cleaning up file based variablesERROR: Job failed: exit code 1