Adding ssh key
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed

This commit is contained in:
Louis 2025-04-02 14:39:19 +02:00
parent 817dc0d00d
commit deb9d8fa77

View file

@ -5,29 +5,19 @@ variables:
steps:
- name: build_tex
image: registry.gitlab.com/islandoftex/images/texlive:latest
# rules:
# - changes:
# - "./*.tex"
# - "./**/*.tex"
commands:
- pdflatex --shell-escape article.tex
- biber article
- pdflatex --shell-escape article.tex
- pdflatex --shell-escape --jobname=article-only article.tex
- biber article-only
- pdflatex --shell-escape --jobname=article-only article.tex
- pdflatex --shell-escape --jobname=supplementaries article.tex
- biber supplementaries
- pdflatex --shell-escape --jobname=supplementaries article.tex
- cat article.log
- cat article-only.log
- cat supplementaries.log
- pdflatex --shell-escape cv.tex
- cat cv.log
- name: deploy
image: alpine/git:*GIT_VERSION
commands:
- mkdir -p ~/.ssh
- echo "${SSH_KEY}" > ~/.ssh/id_ed25519
- chmod 600 ~/.ssh/id_ed25519
- ssh-keyscan -t ed25519 git.polarolouis.fr >> ~/.ssh/known_hosts
# Clone the repository via HTTPS inside a new directory
- git clone "https://${CI_COMMIT_AUTHOR}:${GITLAB_TOKEN}@${CI_REPO_CLONE_URL}" "${CI_COMMIT_SHA}"
- git clone "${CI_REPO_CLONE_SSH_URL}" "${CI_COMMIT_SHA}"
# Set the displayed user with the commits that are about to be made
- git config --global user.email "${CI_COMMIT_AUTHOR_EMAIL:-$CI_COMMIT_AUTHOR_EMAIL}"
@ -57,3 +47,6 @@ steps:
# Update the repository and make sure to skip the pipeline create for this commit
git push origin "${CI_REPO_DEFAULT_BRANCH}" -o ci.skip
fi
environment:
SSH_KEY:
from_secret: SSH-KEY