From a0fbd37f1da5bb54f44d4d7f14b383fb6e762bc4 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 5 Aug 2022 09:44:00 +0200
Subject: [PATCH] [ci] use the Frama-CI bot deploy token
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 9f34328fed5..7e1d85ac7b7 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -374,7 +374,7 @@ src-distrib-tests-long:
.build_template: &prepare_ssh_template
before_script:
- - echo "$FRAMA_C_PUBLIC_SSH_PRIVATE_KEY" | nix run -f channel:nixos-19.03 coreutils --command base64 -d > nix/frama-c-public/id_ed25519
+ - echo "$FRAMA_CI_BOT_SSH_PRIVATE" | nix run -f channel:nixos-19.03 coreutils --command base64 -d > nix/frama-c-public/id_ed25519
- nix run -f channel:nixos-19.03 coreutils --command chmod 400 nix/frama-c-public/id_ed25519
release-frama-c:
--
GitLab